Comparing refinements for failure and bisimulation semantics
Fundamenta Informaticae
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Comparing Refinements for Failure and Bisimulation Semantics
Fundamenta Informaticae
Hi-index | 0.00 |