Priority and Abstraction in Process Algebra

Authors:
V. Natarajan;Ivan Christoff;Linda Christoff;Rance Cleaveland
Affiliations:
-;-;-;-
Venue:
Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1994

A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
CCS with Priority Guards

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Priority and abstraction in process algebra

Information and Computation
Interactive Markov chains: and the quest for quantified quality

Interactive Markov chains: and the quest for quantified quality

Hi-index	0.00