|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 7 gevonden artikelen
| Titel: |
Completeness of Timed μCRL |
| Auteur: |
Reniersi, M.A. Groote, J.F. van der Zwaag, M.B. van Wamel, J. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 50 (2003) nr. 3-4 pagina's 361-402 |
| Jaar: |
2003-07-11 |
| Inhoud: |
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with time. The process algebra μCRL 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 μCRL. It did not contain an in depth analysis of theory of timed μCRL. This paper fills this gap, by providing soundness and completeness results. The main tool to establish these is a mapping of timed to untimed μCKL and employing the completeness results obtained for untimed μCRL. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 7 gevonden artikelen
| << vorige | volgende >> |