For the most recent entries see the Petri Nets Newsletter.

Interleaving Semantics and Action Refinement with Atomic Choice.

Czaja, I.; van Glabbeek, R.J.; Goltz, U.

In: GMD - Arbeitspapier 594. 1991.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography