For the most recent entries see the
Petri Nets Newsletter.
Keyword: action refinement
-
Peuker, Sibylle:
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
2003.
-
Czaja, Ingo;
van Glabbeek, Rob J.;
Goltz, Ursula:
Interleaving Semantics and Action Refinement with Atomic Choice.
1992.
-
Devillers, Raymond:
Maximality Preservation and the ST-idea for Action Refinements.
1992.
-
Vogler, Walter:
Bisimulation and Action Refinement.
1991.
-
Vogler, W.:
Deciding History Preserving Bisimilarity.
1991.
-
Vogler, Walter:
Failure Semantics Based on Interval Semiwords is a Congruence for Refinement.
1991.
-
Vogler, Walter:
Is Partial Order Semantics Necessary for Action Refinement?
1991.
-
Darondeau, Philippe;
Degano, Pierpaolo:
Event Structures, Causal Trees, and Refinement.
1990.
-
Vogler, Walter:
Bisimulation and Action Refinement.
1990.
-
Devillers, Raymond:
Maximality Preserving Bisimulation.
1990.
-
van Glabbeek, Rob;
Goltz, Ursula:
Refinement of Actions in Causality Based Models.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography