|
815
|
Categories for the Working Mathematician
– S Mac Lane
- 1971
|
|
30
|
Temporal Structures
– Ross Casley, Roger F. Crew, José Meseguer, Vaughan Pratt
- 1990
|
|
2115
|
Clocks and the Ordering of Events in a Distributed System
– L Time Lamport
- 1978
|
|
121
|
Modeling Concurrency with Geometry
– Vaughan Pratt
- 1991
|
|
149
|
Petri nets, event structures and domains
– M Nielsen, G D Plotkin, G Winskel
- 1981
|
|
67
|
Equivalence notions for concurrent systems and refinement of actions (extended abstract
– R J van Glabbeek, U Goltz
- 1989
|
|
241
|
Event Structures
– G Winskel
- 1986
|
|
1224
|
A calculus of communicating systems
– R Milner
- 1980
|
|
510
|
An automata-theoretic approach to automatic program verification
– M Y Vardi, P Wolper
- 1986
|
|
233
|
Regular Algebra and Finite Machines
– J Conway
- 1971
|
|
33
|
On the composition of processes
– V R Pratt
- 1982
|
|
170
|
Boolean algebras with operators
– B Jónsson, A Tarski
- 1951
|
|
26
|
Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole’s calculus of logic
– C S Peirce
- 1933
|
|
1962
|
Statecharts: A Visual Formalism For Complex Systems
– David Harel
- 1987
|
|
999
|
The temporal logic of programs
– A Pnueli
- 1977
|
|
45
|
A Calculus of Communicating Systems, LNCS 92
– R Milner
- 1980
|
|
41
|
On partial languages
– J Grabowski
- 1981
|
|
732
|
The Design and Validation of Computer Protocols
– Gerard Holzmann
- 1991
|
|
597
|
Concurrency and automata on infinite sequences
– D M R Park
- 1981
|
