7 Business Process Management Architectures Page 1 7 Business Process Management
Architectures Following our discussion of the evolution of enterprise systems architectures in …

The π-calculus is a process algebra that supports mobility by focusing on the communication
of channels. Milner's presentation of the π-calculus includes a type system assigning arities …

In this paper we describe the first prototype version of the Mobility Work-bench (MWB), an
automated tool for manipulating and analyzing mobile concurrent systems (those with …

The π-calculus is a process algebra where processes interact by sending communication
links to each other. This paper is an overview of and introduction to its basic theory. We …

Equivalence checking is a formal verification approach that consists in proving that two
programs or models are related modulo some equivalence relation, or that one is included …

We present the fusion calculus as a significant step towards a canonical calculus of
concurrency. It simplifies and extends the/spl pi/-calculus. The fusion calculus contains the …

We investigate whether the Pi-calculus is able to serve as a good foundation for the design
and implementation of a strongly-typed concurrent programming language. The first half of …

The asynchronous π-calculus is a variant of the π-calculus where message emission is non-
blocking. Honda and Tokoro have studied a semantics for this calculus based on …

The Abella interactive theorem prover is based on an intuitionistic logic that allows for
inductive and co-inductive reasoning over relations. Abella supports the λ-tree approach to …

Ahigher-order process calculusis a calculus for communicating systems which contains
higher-order constructs like communication of terms. We analyse the notion ofbisimulationin …