Abstract
The semantics of a simple language for describing tightly coupled “synchronous” systems is defined in terms of action structures representing histories of computations with explicit concurrency. An operational semantics is defined by term rewriting rules labelled by action structures. A consistent denotational semantics in terms of action structures is defined based on the concept of observable behaviour and on fixpoint theory. A fully abstract denotational semantics is given. In particular, the issue of interleaving semantics versus semantics including explicit concurrency is discussed.
Get full access to this article
View all access options for this article.