Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems

@inproceedings{bravetti-entcs194,
   apice = {BravettiEntcs194-2},
   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},
   keywords = {Process algebra; Priorities; Probabilities; Congruence property},
   location = {Lisbon, Portugal},
   month = {16~} # jan,
   number = 2,
   pages = {31--57},
   publisher = {Elsevier Science B.V.},
   series = {Electronic Notes in Theoretical Computer Science},
   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
}