Formal Methods for Concurrency

A language for implementing parallel and distributed systems using asynchronous point-to-point communication

Information processing and technology

Formal Definition of XCCS Modelling Language

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

On the specification and implementation of distributed systems using NMDS and LIPS

Information and Software Technology

Towards a new conceptual framework for the modelling of dynamically distributed systems

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods

Formal Definition of XCCS Modelling Language

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)