In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 89-107. Springer-Verlag, 1992.
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 auto-concurrency. On the other hand, `interleaving trace equivalence' is still not preserved under these restricted refinements.
Keywords: concurrency; action refinement; atomicity; flow event structures; semantic equivalences; interleaving vs. partial orders; bisimulation.