Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (Q2864370)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems |
scientific article |
Statements
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (English)
0 references
6 December 2013
0 references
process algebra
0 references
priorities
0 references
probabilities
0 references
congruence property
0 references
0 references
