Barbed bisimulation

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

Volumn 623 LNCS, Issue , 1992, Pages 685-695

  Milner, Robin ^a   Sangiorgi, Davide ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION;

BARBED BISIMULATION; BISIMULATIONS; CONVERGENCY; IN-PROCESS; STRONG BISIMULATION; TEST CASE;

AUTOMATA THEORY;

EID: 84968816021     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55719-9_114     Document Type: Conference Paper

References (12)

1. Abramsky, S., The Lazy Lambda Calculus, in Declarative Programming, ed. Addison Wesley, 1988.
2. Berry, G. and Boudol, G., The Chemical Abstract Machine, Proc 17th Annual Symposium on Principle of Programming Languages, 1990.
3. Boudol, G., A Lambda Calculus for Parallel Functions, Rapport de Recherche 1231, INRIA-Sophia Antipolis, 1990.
4. Groote, J.F., Transition System Specifications with Negative Premises, Report CS-R8950, Centrum voor Wiskunde in Informatica, Amsterdam.
5. Groote, J.F. and Vaandrager, F.W., Structured Operational Semantics and Bisimulation as a Congruence, in Proc. ICALP '89, LNCS 372, 423-438, Springer-Verlag, 1989.
6. ISO DIS 8807, Information Processing Systems-Open System Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1987.
7. Milner, R., Communication and Concurrency, Prentice Hall, 1989.
8. Milner, R., Functions as Processes, Report N.1154, INRIA-Roquencourt, 1990, to appear in Journal of Mathematical Structures in Computer Science.
9. Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes, Parts I and II, Report ECS-LFCS-89-85 and -86, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, to appear in Journal of Information and Computation.
10. Milner, R., Parrow, J.G. and Walker, D.J., Modal Logics for Mobile Processes, in Proc. CONCUR '91, LNCS 527, pp. 45-60, Springer-Verlag, 1991.
11. Sangiorgi, D., forthcoming PhD thesis, Computer Science Department, Edinburgh University, 1992.
12. Thomsen, B., Plain CHOCS, Report DOC 89/4, Department of Computing, Imperial College, London, 1989.