A Modular Toolkit for Distributed Interactions

Julien Lange
(Department of Computer Science, University of Leicester) 		Emilio Tuosto
(Department of Computer Science, University of Leicester)

We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions. The main design principles of our architecture are flexibility and modularity. Our main goal is to provide an easily extensible workbench to encompass current algorithms and incorporate future developments of the theories. With the help of some examples, we illustrate the main features of our toolkit.

In Kohei Honda and Alan Mycroft: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010), Paphos, Cyprus, 21st March 2010, Electronic Proceedings in Theoretical Computer Science 69, pp. 92–110.
Published: 18th October 2011.
ArXived at: https://dx.doi.org/10.4204/EPTCS.69.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org