© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }