A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
From BibNetWiki
- @j-LECT-NOTES-COMP-SCI 1853:744--??, 2000
- Url BibtexAuthor : M. Bravetti, R. Gorrieri
Title : A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000
