This paper provides a fully abstract semantics for a variant of the concurrent object calculus.
We define may testing for concurrent object components and then characterise it using a …

Choreography conformance and contract compliance have been widely studied in the
context of synchronous communication. In this paper we approach a more realistic scenario …

Existing models for the analysis of concurrent processes tend to focus on fail-stop failures,
where processes are either working or permanently stopped, and their state …

We describe an executable specification of the operational semantics of an asynchronous
version of the π-calculus in Maude by means of conditional rewrite rules with rewrites in the …

Session types have been proposed as a means of statically verifying implementations of
communication protocols. Although prior work has been successful for some classes of …

Web services are distributed processes exposing a public description of their behavior, or
contract. The availability of repositories of Web service descriptions enables interesting …

Concurrent and distributed systems have traditionally been modelled using nondeterministic
transitions over configurations. The nondeterminism provides an abstraction over …

The development of Simula by Ole-Johan Dahl and Kristen Nygaard introduced a number of
important programming language concepts–object which supports modularity in …

This paper studies the denotational semantics of the typed asynchronous π-calculus. We
describe a simple game semantics of this language, placing it within a rich hierarchy of …

We describe a denotational (game) semantics for a call-by-value functional language with
multiple threads of control, which may communicate values of general type on locally …