Refinement of Actions and Equivalence Notions for Concurrent Systems (1998)
| Venue: | Acta Informatica |
| Citations: | 30 - 1 self |
BibTeX
@ARTICLE{Glabbeek98refinementof,
author = {Rob Van Glabbeek and Ursula Goltz},
title = {Refinement of Actions and Equivalence Notions for Concurrent Systems},
journal = {Acta Informatica},
year = {1998},
volume = {37},
pages = {229--327}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper combines and extends the material of [GG-a/c/d/e], except for the part in [GG-c] on refinement of transitions in Petri nets and the discussion of TCSP-like parallel composition in [GG-e]. An informal presentation of some basic ingredients of this paper appeared as [GG-b]. Among others, the treatment of action refinement in stable and non-stable event structures is new. The research reported here was supported by Esprit project 432 (METEOR), Esprit Basic Research Action 3148 (DEMON), Sonderforschungsbereich 342 of the TU Munchen, ONR grant N00014-92-J-1974 and the Human Capital and Mobility Cooperation Network EXPRESS (Expressiveness of Languages for Concurrency). Contents
