An Action Semantics for ML Concurrency Primitives

This paper is about the recently-developed framework of action semantics. The pragmatic qualities of action semantic descriptions are particularly good, which encourages their use in industrial-scale applications where semantic descriptions are needed, e.g., compiler development.

[1]  Lars Arge,et al.  External-Storage Data Structures for Plane-Sweep Algorithms , 1994 .

[2]  John H. Reppy,et al.  CML: A Higher-Order Concurrent Language , 1991, PLDI.

[3]  Peter D. Mosses,et al.  Unified algebras and institutions , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[4]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[5]  Pietro Cenciarelli,et al.  A Syntactic Approach to Modularity in Denotational Semantics , 1993 .

[6]  Allan Cheng,et al.  Local Model Checking and Traces , 1994 .

[7]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[8]  Peter D. Mosses,et al.  Unified algebras and modules , 1988, POPL '89.

[9]  Glynn Winskel.  Stable Bistructure Models of PCF , 1994, MFCS.

[10]  John H. Reppy.  An Operational Semantics of First-class Synchronous Operations , 1991 .

[11]  Mogens Nielsen,et al.  Models for Concurrency , 1992 .

[12]  Arne Skou,et al.  Automatic Verification of Real-Timed Systems Using EPSILON , 1994 .

[13]  Robin Milner,et al.  A semantics for ML concurrency primitives , 1992, POPL '92.

[14]  Peter D. Mosses,et al.  Denotational semantics , 1995, LICS 1995.

[15]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[16]  Nils Klarlund,et al.  The Limit View of Infinite Computations , 1994, CONCUR.

[17]  Nils Klarlund.  A Homomorphism Concepts for omega-Regularity , 1994, CSL.

[18]  David A. Watt.  Programming language syntax and semantics , 1991, Prentice Hall International Series in Computer Science.

[19]  Glynn Winskel,et al.  Petri Nets and Bisimulations , 1994 .

[20]  Martin A. Musicante,et al.  An Action Semantics for ML Concurrency Primitives , 1994 .

[21]  Robin Milner,et al.  Definition of standard ML , 1990 .

[22]  Sten Agerholm.  LCF Examples in HOL , 1994 .