Tytuł artykułu
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
In [25] a straightforward extension of the process algebra uCRL was proposed to explicitly deal with time. The process algebra uCRL has been especially designed to deal with data in a process algebraic context. Using the features for data, only a minor extension of the language was needed to obtain a very expressive variant of time. But [25] contains syntax, operational semantics and axioms characterising timed uCRL. It did not contain an in depth analysis of theory of timed uCRL. This paper fills this gap, by providing soundness and completeness results. The main tool to establish these is a mapping of timed to untimed uCRL and employing the completeness results obtained for untimed uCRL.
Wydawca
Czasopismo
Rocznik
Tom
Strony
361--402
Opis fizyczny
bibliogr. 74 poz.
Twórcy
autor
autor
autor
autor
- Department of Mathematics and Computer Science, TU/e, POstbox 513, NL-5600 MB Eindhoven, The Netherlands, M.A.Reniers@tue.nl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0004-0018