暂无分享,去创建一个
[1] R. V. Glabbeek. The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves , 1993 .
[2] Peter Sjödin,et al. Multiway Synchronization Verified with Coupled Simulation , 1992, CONCUR.
[3] Antoni W. Mazurkiewicz,et al. Trace Theory , 1986, Advances in Petri Nets.
[4] Scott A. Smolka,et al. Interactive Computation: The New Paradigm , 2006 .
[5] Silvio Micali,et al. The Knowledge Complexity of Interactive Proof Systems , 1989, SIAM J. Comput..
[6] Jan van Leeuwen,et al. Complexity of Evolving Interactive Systems , 2004, Theory Is Forever.
[7] Allan Borodin,et al. Online computation and competitive analysis , 1998 .
[8] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[9] Grzegorz Rozenberg,et al. Theory Is Forever , 2004, Lecture Notes in Computer Science.
[10] Giorgi Japaridze. Introduction to clarithmetic I , 2011, Inf. Comput..
[11] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum II , 1993, CONCUR.
[12] Jos C. M. Baeten,et al. Reactive Turing machines , 2013, Inf. Comput..
[13] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .
[14] Jan van Leeuwen,et al. On Algorithms and Interaction , 2000, MFCS.
[15] Glynn Winskel,et al. Models for Concurrency , 1994 .
[16] Scott A. Smolka,et al. Turing machines, transition systems, and interaction , 2004, Inf. Comput..
[17] Jos C. M. Baeten,et al. Computations and Interaction , 2011, ICDCIT.