School of Computing

Animating CSPm using Action Semantics

Leonardo Freitas, ALC Cavalcanti, and Hermano Moura

In Proceedings of IV Workshop em Metodos Formais, pages 182-196. Sociedade Brasileira de Computacao, October 2001 http://www.cin.ufpe.br/ lfsf.

Abstract

ABSTRACT CSPm is a language used to model concurrent and parallel computer systems formally. This paper presents an implementation of a significant part of the operational semantics of CSPm using action semantics. This work is a starting point for the development of a formal animator using action semantics engines, compilers, or interpreters like Abaco or Ani, and of a Java library that implements the CSP operators.

Download publication 208 kbytes (PostScript)

Bibtex Record

@inproceedings{1717,
author = {Leonardo Freitas and ALC Cavalcanti and Hermano Moura},
title = {{A}nimating {CSP}m using {A}ction {S}emantics},
month = {October},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {http://www.cin.ufpe.br/~{}lfsf},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1717},
    publication_type = {inproceedings},
    submission_id = {22121_1064319947},
    booktitle = {Proceedings of  IV Workshop em Metodos Formais},
    publisher = {Sociedade Brasileira de Computacao},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014