CCS without τ’s

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 249 LNCS, Issue , 1987, Pages 138-152

  De Nicola, Rocco ^a   Hennessy, Matthew ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SEMANTICS;

COMBINATOR; ESSENTIAL FEATURES; NON-DETERMINISM; OPERATIONAL SEMANTICS; PREORDERS;

SOFTWARE DESIGN;

EID: 84972435010     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-17660-8_53     Document Type: Conference Paper

References (20)

1. Austry, D. and Boudol, G. Algebre de Processus et Synchronization, Theoret. Comput. Sci. Vol. 30, No. 1 North Holland, Amsterdam, (1984).
2. de Bakker J. and Zucker J., Processes and the Denotational Semantics of Concurrency. Information and Control, Vol 44, Nos. 1-2, pp.l36-176, (1982).
3. Brookes, S.D. A Model for Communicating Sequential Processes. Ph.D. Thesis, University of Oxford. Also Carnegie Mellon University Internal Report, CMU-CS-149, (1983).
4. Brookes, S.D., Hoare, C.A.R. and Roscoe A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No. 3, pp. 560-599, (1984).
5. BergstraJ. and Klop, G. Process Algebra for Synchronous Communication, Information and Control, Vol 60, pp.109-137, (1984).
6. De Nicola, R. and Hennessy M. Testing Equivalences for Processes. Theoret, Comput. Sci., Vol.34, pp. 83-133, North Holland, Amsterdam, (1984).
7. De Nicola, R. Two Complete Set of Axioms for a Theory of Communicating Sequential Processes. Information and Control, Vol 64, Nos. 1-3, pp.136-176, (1985).
8. De Nicola, R. Fully Abstract Models and Testing Equivalences for Communicating Processes. Ph.D. Thesis, University of Edinburgh CST-36-85, (1985).
9. Goguen J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. Initial Algebra Semantics and Continuous Algebras. Journal of ACM, Vol. 24, No. 1, pp. 68-95, (1977).
10. Guessarian I. Algebraic Semantics. LNCS 99, (1981).
11. Hennessy M. Synchronous and Asynchronous Experiments on Processes. Information and Control Vol. 59, Nos. 1-3, pp. 36-83, (1983).
12. Hennessy, M. An Algebraic Theory of Processes. Lecture Notes, Aarhus University, (1985).
13. Hennessy, M. Acceptance Trees. Journal of ACM, Vol. 32, No 4, pp. 896-928, (1985)
14. Hennessy, M., Milner, R. Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, Vol.32, No. 1, pp. 137-161, (1985).
15. Hoare, C.A.R. Communicating Sequential Processes. Prentice Hail (1985).
16. International Standard Organization, LOTOS-A Formal Description Technique. Internal Report Twente University of Technology and ISO/TC97/SC21 Draft Proposal 8807, (1986)
17. Milner, R. A Calculus of Communicating Systems, LNCS 92, (1980).
18. Milne, G. CIRCAL and the Representation of Communication, Concurrency and Time. ACM Toplas Vol. 7, No. 2, pp. 270-298, (1985).
19. Olderog, E-R, Hoare C.A.R. Specification-Oriented Semantics for Communicating Processes, Acta Informatica Vol. 23, pp. 9-66, (1986).
20. Plotkin, G. A Structural Approach to Operational Semantics, Lecture Notes, Aarhus University, (1981).