Process Algebra is a formal description technique for complex computer systems, especially
those involving communicating, concurrently executing components. It is a subject that …

A distributed system is driven by separate components that are executed in parallel, and
protocols for such systems form a major aspect of system design in today's world of wireless …

Abstract Theory of Interaction aims to provide a foundational framework for computation and
interaction. It proposes four fundamental principles that characterize the common features of …

Robin Milner observed in 1973 that the primary task of computers appeared to be interacting
with their environment, yet the theory of programs and programming at that time seemed to …

A value-passing calculus is a process calculus in which the contents of communications are
values chosen from some data domain, and the propositions appearing in the conditionals …

Name-passing calculi are foundational models for mobile computing. Research into these
models has produced a wealth of results ranging from relative expressiveness to …

We investigate the use of unique fixpoint induction as a proof method for value-passing
process languages with recursion. An intuitive generalisation of unique fixpoint induction …

Some discrete-event systems such as software are typically infinite state systems, and a
commonly used technique for performing formal analysis such as automated verification is …

While different algebraic structures have been proposed for the treatment of concurrency,
finding solutions for equations over these structures needs to be worked on further. This …