Bundle event structures: A revised cpo approach

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Computing, Computer Science, Formal Methods +5

Domain theory

Samson Abramsky, Achim Jung · Logic in Computer Science · 1995 · 917 citations

Formal description techniques

Chris A. Vissers, Richard L. Tenney, Gregor von Bochmann · Proceedings of the IEEE · 1983 · 139 citations

Computing, Computer Science, Computer Systems +9

Bundle event structures: a non-interleaving semantics for LOTOS

Rom Langerak · Data Archiving and Networked Services (DANS) · 1991 · 82 citations

Language Studies, Computer Science, Semantics +4

A Stochastic Causality-Based Process Algebra

Ed Brinksma · The Computer Journal · 1995 · 60 citations · Full text

Engineering, Computer Science, Mathematics +17