The timed failures - stability model for CSP

We present a mathematical model which is the most abstract allowing (i) a fully compositional semantics for timed CSP and (ii) a natural abstraction map into the standard failures/divergences model of untimed CSP. We discuss in detail the construction and properties of this model, and explore the va...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Reed, G, Roscoe, A
Aineistotyyppi: Journal article
Kieli:English
Julkaistu: Elsevier 1999
Aiheet: