Information and Computation · 1988 · 64 citations · 14 references
ComputingComputer EngineeringComputer ScienceDistributed SystemsFormal MethodsReal-time SystemsCompositional SemanticsDistributed AlgorithmsDistributed ComputingDistributed Data ProcessingReal-time Systems ArchitectureReal-time Systems DesignDistributed Computation ModelsDistributed Runtime SystemsDistributed Systems SemanticsReal-time Model ExecutionReal-time Semantics
14
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text
A Theory of Communicating Sequential Processes
Stephen Brookes, C. A. R. Hoare, A. W. Roscoe · Journal of the ACM · 1984 · 1.2K citations · Full text
Calculi for synchrony and asynchrony
Robin Milner · Theoretical Computer Science · 1983 · 898 citations · Full text