Experimenting with Process Equivalence
暂无分享,去创建一个
[1] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..
[2] Amir Pnueli,et al. Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.
[3] Iain Phillips,et al. Refusal Testing , 1986, Theoretical Computer Science.
[4] Jan Friso Groote,et al. Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract) , 1989, ICALP.
[5] Robert de Simone,et al. Higher-Level Synchronising Devices in Meije-SCCS , 1985, Theor. Comput. Sci..
[6] Steven J. Vickers,et al. Quantales, observational logic and process semantics , 1993, Mathematical Structures in Computer Science.
[7] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..
[8] N. S. Barnett,et al. Private communication , 1969 .
[9] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[10] Jos C. M. Baeten,et al. Another look at abstraction in process algebra , 1987 .
[11] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..
[12] Albert R. Meyer,et al. Bisimulation can't be traced , 1988, POPL '88.
[13] A. Meyer,et al. Bisimulation can't be traced. Preliminary report , 1987 .
[14] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[15] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[16] Gérard Boudol,et al. Algèbre de Processus et Synchronisation , 1984, Theor. Comput. Sci..
[17] Samson Abramsky,et al. Observation Equivalence as a Testing Equivalence , 1987, Theor. Comput. Sci..
[18] Jan Friso Groote,et al. Structured Operational Semantics and Bisimulation as a Congruence , 1992, Inf. Comput..
[19] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[20] Robin Milner,et al. A Modal Characterisation of Observable Machine-Behaviour , 1981, CAAP.
[21] Bloom Bard,et al. Ready simulation, bisimulation, and the semantics of CCS-like languages , 1989 .
[22] Kim G. Larsen,et al. Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.