Interleaving Semantics and Action Refinement with Atomic Choice (1992) [9 citations — 1 self]
Download:
|
|
by Ingo Czaja, Rob J. Van Glabbeek, Ursula Goltz
in “Advances in Petri Nets
ftp://Boole.stanford.edu/pub/atch.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Czaja92interleavingsemantics,author = {Ingo Czaja and Rob J. Van Glabbeek and Ursula Goltz},
title = {Interleaving Semantics and Action Refinement with Atomic Choice},
booktitle = {in “Advances in Petri Nets},
year = {1992},
pages = {89--109},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
We investigate how to restrict the concept of action refinement such that established interleaving equivalences for concurrent systems are preserved under these restricted refinements. We show that interleaving bisimulation is preserved under refinement if we do not allow to refine action occurrences deciding choices and action occurrences involved in autoconcurrency. On the other hand, interleaving trace equivalence is still not preserved under these restricted refinements.
