Freitas, Leonardo and Cavalcanti, A.L.C. and Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais.
|
Download (225Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
|
| Postscript | ||
|
Download (208Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
|
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.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Additional information: | http://www.cin.ufpe.br/~}lfsf |
| Uncontrolled keywords: | Action Semantics, CSPm, Concurrency, animation |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 24 Nov 2008 17:58 |
| Last Modified: | 06 Sep 2011 01:08 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/13530 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
