Testing Equivalences for Processes (1984)

Cached

Download Links

by R. De Nicola , M. C. B. Hennessy
Venue:Theoretical Computer Science
Citations:405 - 24 self

Documents Related by Co-Citation

3219 Communication and Concurrency – R Milner - 1990
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
1330 A Calculus of Communicating Systems – R Milner - 1980
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
312 Calculi for synchrony and asynchrony – R Milner - 1983
179 CCS expressions, finite state processes, and three problems of equivalence – Paris C Kanellakis, Scott A Smolka - 1990
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
315 Functions as processes – R Milner - 1990
3843 Introduction to Automata Theory, Languages, and Computation (2nd Edition – R M J E Hopcroft, J Ullman - 2000
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
394 Algebraic Theory of Processes – M Hennessy - 1988
66 Testing equivalence for mobile processes – M Boreale, R De Nicola - 1995
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
354 Prudent Engineering Practice for Cryptographic Protocols – Martin Abadi, Roger Needhamt - 1994
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
658 Concurrency and automata on infinite sequences – D Park - 1981
90 R.: Extensional Equivalences for Transition Systems – De Nicola - 1987