Deriving Bisimulation Congruences for Reactive Systems
作者： James J. Leifer , Robin Milner
关键词: Transition system 、 Context (language use) 、 Computer science 、 Pure mathematics 、 Discrete mathematics 、 Pushout 、 Process calculus 、 Bisimulation 、 Reactive system 、 Dynamical system (definition)
摘要: The dynamics of reactive systems, eg CCS, has often been defined using a labelled transition system (LTS). More recently it has become natural in defining dynamics to use …
ed.ac.uk
springer.com
sci-hub.st 参考文章(25)
Andrea Corradini, Ugo Montanari, An Algebra of Graphs and Graph Rewriting Proceedings of the 4th International Conference on Category Theory and Computer Science. pp. 236- 260 ,(1991) , 10.1007/BFB0013469
Robin Milner, Communication and Concurrency ,(1989)
David Park, Concurrency and Automata on Infinite Sequences Theoretical Computer Science. pp. 167- 183 ,(1981) , 10.1007/BFB0017309
Cédric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, Didier Rémy, A Calculus of Mobile Agents international conference on concurrency theory. pp. 406- 421 ,(1996) , 10.1007/3-540-61604-7_67
Andrew M. Pitts, Ian D. B. Stark, Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new? mathematical foundations of computer science. pp. 122- 141 ,(1993) , 10.1007/3-540-57182-5_8
Zena M. Ariola, Jan Willem Klop, Equational term graph rewriting Fundamenta Informaticae. ,vol. 26, pp. 207- 240 ,(1996) , 10.3233/FI-1996-263401
Philippa Gardner, Closed action calculi Theoretical Computer Science. ,vol. 228, pp. 77- 103 ,(1999) , 10.1016/S0304-3975(98)00355-7
Martín Abadi, Andrew D. Gordon, A calculus for cryptographic protocols: the spi calculus computer and communications security. pp. 36- 47 ,(1997) , 10.1145/266420.266432
Jan Friso Groote, Frits Vaandrager, Structured operational semantics and bisimulation as a congruence Information & Computation. ,vol. 100, pp. 202- 260 ,(1992) , 10.1016/0890-5401(92)90013-6
André Joyal, Mogens Nielsen, Glynn Winskel, Bisimulation from Open Maps logic in computer science. ,vol. 127, pp. 164- 185 ,(1996) , 10.1006/INCO.1996.0057