Calculi for synchrony and asynchrony

Theoretical Computer Science

Volumn 25, Issue 3, 1983, Pages 267-310

  Milner, Robin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001530725     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(83)90114-7     Document Type: Article

References (19)

1. Real time agents
2. A term model for synchronous processes
3. A model for communicating sequential processes
4. A term model for CCS
5. ‘Sometime’ is sometimes ‘not never’
6. Processes; a mathematical model of computing agents
7. A Calculus of Communicating Systems
8. On relating synchrony and asynchrony
9. A complete inference system for a class of regular behaviours
10. Four combinators for concurrency
11. Concurrent processes and their syntax
12. Petri nets events structures and domains
13. Concurrency and automata on infinite sequences
14. A structured approach to operational semantics
15. The temporal semantics of concurrent programs
16. Event structure semantics for CCS and related languages