Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
![]() |
![]() |
Author = {Bravetti, Mario},
Booktitle = {Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007)},
Doi = {10.1016/j.entcs.2007.11.003},
Editor = {Amadio, Roberto and Hildebrandt, Thomas},
Issn = {1571-0661},
Series = {Electronic Notes in Theoretical Computer Science},
Keywords = {Process algebra; Priorities; Probabilities; Congruence property},
Location = {Lisbon, Portugal},
Month = {16~} # jan,
Number = 2,
Pages = {31--57},
Publisher = {Elsevier Science B.V.},
Title = {Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066108000042},
Volume = 194,
Year = 2008}