Animating CSPm using Action Semantics

Freitas, Leonardo and Cavalcanti, A.L.C. and Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais. (Full text available)

PDF
Download (230kB)
[img]
Preview
Postscript
Download (213kB)
[img]
Preview

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):

Downloads

Downloads per month over past year