3 results
Roberto Bruni ; Hernan Melgratti ; Ugo Montanari ; Pawel Sobocinski.
A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, namely symmetry, […]
Published on September 17, 2013
Alberto Lluch Lafuente ; Michele Loreti ; Ugo Montanari.
Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to join and leave with little or no overhead. […]
Published on March 22, 2017
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