JavaScript is disabled for your browser. Some features of this site may not work without it.
An Operational Semantics of First-class Synchronous Operations

Author
Reppy, John H.
Abstract
First-class synchronous operations are a new approach to synchronization and communication in concurrent languages. They have been informally described in [Rep88], and [Rep91a]; this paper presents an operational semantics for an untyped language with first-class synchronous operations. This language in- cludes a large fraction of the concurrency primitives of Concurrent ML CML), a concurrent extension of SML, and is the first step toward formalizing the definition of CML.
Date Issued
1991-08Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR91-1232
Type
technical report