Refinement of actions in causality based models

Authors:
R. van Glabbeek;U. Goltz
Affiliations:
-;-
Venue:
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Year:
1990

Analyzing refinements of state based specifications: the case of TB nets

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)
Vertical implementation

Information and Computation
The box algebra = Petri nets + process expressions

Information and Computation
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Petri Nets, Configuration Structures and Higher Dimensional Automata

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

Hi-index	0.00