A timed model for communicating sequential processes

Theoretical Computer Science

Volumn 58, Issue 1-3, 1988, Pages 249-261

  Reed, G M ^a   Roscoe, A W ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS, DIGITAL--PARALLEL PROCESSING;

COMMUNICATING SEQUENTIAL PROCESSES; CSP; PARALLEL LANGUAGES; REAL TIME MODELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0024020056     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(88)90030-8     Document Type: Article

References (17)

1. A model for communicating sequential processes
2. A theory of communicating sequential processes
3. A fully abstract concurrent model and its temporal logic
4. An improved failures model for communicating processes
5. Processes and the denotational semantics of concurrency
6. Connections between two theories of concurrency: metric spaces and synchronisation trees
7. Communicating sequential processes
8. A model for communicating sequential processes
9. A theory of communicating sequential processes
10. A timed model for communicating processes
11. Compositional semantics for real-time distributed computing
12. Infinite words, infinite trees, infinite computations
13. Specification-oriented semantics for communicating processes
14. A mathematical theory of communicating processes
15. Applications of topology to the semantics of communicating processes
16. Metric spaces as models for real-time concurrency