Journal Title
Title of Journal: Form Asp Comp
|
Abbravation: Formal Aspects of Computing
|
Publisher
Springer-Verlag
|
|
|
|
|
|
Authors: Stefano Cattani Marta Kwiatkowska
Publish Date: 2005/06/29
Volume: 17, Issue: 2, Pages: 138-159
Abstract
We propose a realtime extension to the process algebra CSP Inspired by timed automata a very successful formalism for the specification and verification of realtime systems we handle real time by means of clocks ie realvalued variables that increase at the same rate as time This differs from the conventional approach based on timed transitions We give a discrete trace and failures semantics to our language and define the resulting refinement relations One advantage of our proposal is that it is possible to automatically verify refinement relations between processes We demonstrate how this can be achieved and under which conditions
Keywords:
.
|
Other Papers In This Journal:
|