Modelling Concurrency with Partial Orders (1986)

by Vaughan Pratt
Citations:239 - 18 self

Documents Related by Co-Citation

930 Categories for the Working Mathematician – S Mac Lane - 1971
30 Temporal Structures – Ross Casley, Roger F. Crew, José Meseguer, Vaughan Pratt - 1990
2345 Time, clocks, and the ordering of events in a distributed system – Leslie Lamport - 1978
263 An introduction to event structures – G Winskel - 1989
170 G.: Petri nets, event structures and domains – M Nielsen, G Plotkin, Winskel - 1981
125 Modeling Concurrency with Geometry – Vaughan Pratt - 1991
70 Equivalence notions for concurrent systems and refinement of actions – R van Glabbeek, U Goltz - 1989
1330 A Calculus of Communicating Systems – R Milner - 1980
585 P.: An automata-theoretic approach to automatic program verification – M Vardi, Wolper - 1986
35 On the composition of processes – V R Pratt - 1982
279 Regular Algebra and Finite Machines – J H Conway - 1971
27 Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole’s calculus of logic, Memoirs of the American Academy of Sciences 9 – C S Peirce - 1870
189 Boolean algebras with operators I – B Jonsson, A Tarski - 1951
1204 The temporal logic of programs – A Pnueli - 1977
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
762 Design and Validation of Computer Protocols – G Holzmann - 1991
44 On partial languages – J Grabowski - 1981
46 A Calculus of Communicating Systems. LNCS 92 – R Milner - 1980
658 Concurrency and automata on infinite sequences – D Park - 1981