Pragmatics of Modular SOS
暂无分享,去创建一个
[1] Peter D. Mosses. Action Semantics , 1986, ADT.
[2] Gilles Kahn,et al. Natural Semantics , 1987, STACS.
[3] Robin Milner,et al. Definition of standard ML , 1990 .
[4] Matthew Hennessy,et al. Semantics of programming languages - an elementary introduction using structural operational semantics , 1990 .
[5] Robin Milner,et al. Operational and Algebraic Semantics of Concurrent Processes , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[6] Robin Milner,et al. A semantics for ML concurrency primitives , 1992, POPL '92.
[7] Flemming Nielson,et al. Semantics with applications - a formal introduction , 1992, Wiley professional computing.
[8] Glynn Winskel,et al. The formal semantics of programming languages - an introduction , 1993, Foundation of computing series.
[9] Kenneth Slonneger,et al. Formal syntax and semantics of programming languages - a laboratory based approach , 1995 .
[10] Peter D. Mosses. A Modular SOS for Action Notation , 1999 .
[11] Pieter H. Hartel,et al. LETOS – a lightweight execution tool for operational semantics , 1999, Softw. Pract. Exp..
[12] Pieter H. Hartel,et al. LETOS – a lightweight execution tool for operational semantics , 1999 .
[13] Peter D. Mosses. A Modular SOS for ML Concurrency Primitives , 1999 .
[14] Luca Aceto,et al. Structural Operational Semantics , 1999, Handbook of Process Algebra.
[15] Peter D. Mosses. Foundations of Modular SOS , 1999, MFCS.
[16] Paul Klint,et al. Semantics of programming languages: a tool-oriented approach , 1999, SIGP.
[17] José Meseguer,et al. Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic , 2000, AMAST.
[18] Christiano Braga,et al. Rewriting Logic as a Semantic Framework for Modular Structural Op-erational Semantics , 2001 .
[19] Marius Mikucionis,et al. Online On-the-Fly Testing of Real-time Systems , 2003 .
[20] U. Kohlenbach,et al. Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings , 2003 .
[21] Branimir Lambov. A Two-Layer Approach to the Computability and Complexity of Real Numbers , 2003 .
[22] Hans Hüttel,et al. Recursive Ping-Pong Protocols , 2003 .
[23] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..