Simulations Up-to and Canonical Preorders
暂无分享,去创建一个
[1] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[2] Bart Jacobs,et al. Simulations in Coalgebra , 2003, CMCS.
[3] Luca Aceto,et al. Ready to Preorder: Get Your BCCSP Axiomatization for Free! , 2007, CALCO.
[4] Rocco De Nicola,et al. Testing Equivalence for Processes , 1983, ICALP.
[5] Rocco De Nicola,et al. Extensional equivalences for transition systems , 1987, Acta Informatica.
[6] Matthew Hennessy,et al. A bisimulation-based semantic theory of Safe Ambients , 2006, TOPL.
[7] David de Frutos-Escrig,et al. Bisimulations Up-to for the Linear Time Branching Time Spectrum , 2005, CONCUR.
[8] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[9] Walter Vogler,et al. Bisimulation on speed: A unified approach , 2006, Theor. Comput. Sci..
[10] Fernando Rosa-Velardo,et al. New Bisimulation Semantics for Distributed Systems , 2007, FORTE.
[11] Astrid Kiehn,et al. Amortised Bisimulations , 2005, FORTE.
[12] Rance Cleaveland,et al. The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.
[13] Rance Cleaveland,et al. Testing equivalence as a bisimulation equivalence , 1989, Formal Aspects of Computing.
[14] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[15] Ichiro Hasuo,et al. Generic Forward and Backward Simulations , 2006, CONCUR.
[16] Davide Sangiorgi,et al. On the bisimulation proof method , 1998, Mathematical Structures in Computer Science.
[17] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[18] D. F. Escrig,et al. Bisimulations up-to for the linear time branching time spectrum , 2005 .
[19] Rob J. van Glabbeek,et al. Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra , 1987, STACS.
[20] Matthew Hennessy,et al. Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.
[21] R. V. Glabbeek. CHAPTER 1 – The Linear Time - Branching Time Spectrum I.* The Semantics of Concrete, Sequential Processes , 2001 .
[22] Albert R. Meyer,et al. Bisimulation can't be traced , 1988, POPL '88.
[23] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..