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

DOI10.1016/j.entcs.2007.11.003zbMath1277.68166OpenAlexW2141925635MaRDI QIDQ2864370

Mario Bravetti

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.11.003

zbMATH Keywords

process algebracongruence propertyprobabilitiespriorities

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Priorities in process algebras
• A complete axiomatisation for observational congruence of finite-state behaviours
• CCS with priority choice
• CCS with priority guards
• Quantitative information in the tuple space coordination model
• Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems

This page was built for publication: Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems