2 results
Filippo Bonchi ; Ugo Montanari.
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized by the final morphism in some category of coalgebras. Since the behaviour of interactive systems is for many reasons […]
Published on May 16, 2011
Roberto Bruni ; Hernán Melgratti ; Ugo Montanari.
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 […]
Published on December 19, 2019