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

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

Mario Bravetti

Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007), pages 31-57

Electronic Notes in Theoretical Computer Science 194(2), 16 January 2008

Elsevier Science B.V.

Roberto Amadio, Thomas Hildebrandt *(eds.)*

@inproceedings{bravetti-entcs194,

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}

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}