@inbook{09d514d0833d4ca7acddcc48886de65a,
title = "Interleaving semantics and action refinement with atomic choice",
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.",
author = "I. Czaja and {van Glabbeek}, R.J. and U. Goltz",
year = "1992",
month = jun,
day = "10",
doi = "10.1007/3-540-55610-9169",
language = "English",
isbn = "978-3-540-55610-7",
volume = "609",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "89--107",
editor = "G. Rozenberg",
booktitle = "Advances in Petri Nets 1992",
address = "United Kingdom",
}