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...

Fuld beskrivelse

Bibliografiske detaljer

Principais autores:	Roberto Bruni, Hernán Melgratti, Ugo Montanari
Format:	Artigo
Sprog:	Inglês
Udgivet:	Logical Methods in Computer Science e.V. 2019-12-01
Serier:	Logical Methods in Computer Science
Fag:	computer science - logic in computer science f.1.1, f.1.2 f.1.1 f.1.2
Online adgang:	https://lmcs.episciences.org/5271/pdf
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!