A Calculus Based on Absence of Actions
Type of content
Reports
UC permalink
Publisher's DOI/URI
Thesis discipline
Degree name
Publisher
Department of Computer Science, University of Canterbury
University of Canterbury. Computer Science and Software Engineering
University of Canterbury. Computer Science and Software Engineering
Journal Title
Journal ISSN
Volume Title
Language
Date
1995
Authors
Krishnan, P.
Abstract
In this article we present a process algebra where the behaviour can be specified when certain actions cannot be exhibited. This is useful in specifying time outs, interrupts etc. We present a few properties which form the basis for a sound and complete axiomatisation of a bisimulation equivalence relation. A comparison with other approaches is presented.
Description
TR-COSC 04/95
Citation
Krishnan, P. (1995) A Calculus Based on Absence of Actions..