Publisher Summary An algebraic specification is a description of one or more abstract data
types. There are three main semantic approaches to algebraic specifications:(1) the initial …

Behavioral interface specification languages provide formal code-level annotations, such as
preconditions, postconditions, invariants, and assertions that allow programmers to express …

In CCS, non-determinate behaviours (in sane sense of detexminacy) are the rule rather than
the exception. The outcome-or even the capability-of future observations may not be …

The Formal Semantics of Programming Languages provides the basic mathematical
techniques necessary for those who are beginning a study of the semantics and logics of …

Since CAR Hoare's text Communicating Sequential Processes was published in 1985, his
notation has been extensively used for teaching and applying concurrency theory. This book …

We hope to accomplish four things by writing this book. Our rst goal is to o er a tutorial on the
new mathematical ideas which underlie our research. In doing so we have tried to provide …

This text develops a comprehensive theory of programming languages based on type
systems and structural operational semantics. Language concepts are precisely defined by …

Event structures are a model of computational processes. They represent a process as a set
of event occurrences with relations to express how events causally depend on others. This …

A theory of lazy λ-calculus is developed as a basis for lazy functional programming
languages. This is motivated by a mismatch between the" standard"(ie, sensible) theory of …

Nominal sets provide a promising new mathematical analysis of names in formal languages
based upon symmetry, with many applications to the syntax and semantics of programming …