Skip to main content

Animating CSPm using Action Semantics

Freitas, Leonardo, Cavalcanti, Ana L. C., Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais. . Sociedade Brasileira de Computacao

Download (347kB) Preview
Download (213kB) Preview


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:}lfsf
Uncontrolled keywords: Action Semantics, CSPm, Concurrency, animation
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:58 UTC
Last Modified: 28 May 2019 13:50 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year