Concurrency and Probability: Removing Confusion, Compositionally
Assigning a satisfactory truly concurrent semantics to Petri nets with confusion and distributed decisions is a long standing problem, especially if one wants to resolve decisions by drawing from some probability distribution. Here we propose a general solution based on a recursive, static decomposi...
| Príomhchruthaitheoirí: | , , |
|---|---|
| Formáid: | Alt |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Logical Methods in Computer Science e.V.
2019-12-01
|
| Sraith: | Logical Methods in Computer Science |
| Ábhair: | |
| Rochtain ar líne: | https://lmcs.episciences.org/5271/pdf |