Testing equivalence for mobile processes

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

Volumn 630 LNCS, Issue , 1992, Pages 2-16

  Boreale, Michele ^a   De Nicola, Rocco ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACT DENOTATIONAL MODEL; CHANGING STRUCTURES; MOBILE PROCESS; NORMAL FORM; OBSERVATIONAL EQUIVALENCES; PROOF SYSTEM; SOUNDNESS AND COMPLETENESS; TESTING EQUIVALENCE;

CALCULATIONS;

EID: 84947750655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0084779     Document Type: Conference Paper

References (18)

1. Bergstra, J.A. and Klop, J.-W. Process Theory based on Bisimulation Semantics, in Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency, LNCS, 354, Springer-Verlag, 1989, 50-122.
2. Boreale, M. Semantica osservazionale ed assiomatica per un’algebra di processi dinamici, Master Thesis, Universié di Pisa, February, 1991.
3. De Nicola, R. and Hennessy, M. Testing Equivalence for Processes, Theoret. Comput, Sci., 34 (1984), 83-133.
4. De Nicola, R. Extensional Equivalences for Transition Systems, Acta Informatica, 24, 1987, pp. 211-237.
5. De Nicola, R., Inverardi, P. and Nesi, M. Using Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In Automatic Verification Methods for Finite State Machines (J. Sifakis, ed.) LNCS 407, 1990; pp. 54-67.
6. Engberg, U. and Nielsen, M. A Calculus of Communicating Systems with Label Passing; Int. Rep. Computer Science Dept., Aarhus University, DAIMI-PB 208, 1986.
7. Guessarian, I. Algebraic Semantics, LNCS, 99, 1981
8. Hennessy, M. An Algebraic Theory of Processes, MIT Press, Cambridge, 1988.
9. Hennessy, M. A Model for the τ-Calculus, Internal Report No 8/91, Computer Science, University of Sussex, 1991.
10. Hennessy, M. and Ingolfsdottir A., A Theory of Testing Equivalence with Valuepassing, to appear in Information and Computation, 1991
11. Hoare, C.A.R. Communicating Sequential Process, Prentice Hall Int., London 1985.
12. Hennessy, M. and Plotkin, G. A Term Model for CCS, LNCS, 88, Springer-Verlag, 1980
13. Huimin L., Pam: A Process Algebra Manipulator, in Computer Aided Verification (K.G. Larsen and A. Skou, eds) LNCS 575, 1992.
14. Milner, R. A Calculus of Communicating Systems. LNCS, 92, Springer-Verlag, 1980.
15. Milner, R. Communicating and Concurrency. Prentice Hall Int., London 1989.
16. Milner, R., Parrow, J. and Walker, D. A Calculus of Mobile Processes part I and II, LFCS Report Series, Department of Computer Science, University of Edinburgh, 1989. To appear in Information and Computation.
17. Plotkin, G. A Structural Approach to Operational Semantics. Technical Report Computer Science Department, Aarhus University, DAIMI FN-19; 1981).
18. Thomsen, B A Calculus of Higher Order, Proc. of POPL 1989; ACM 1989; pp. 143-154.