10 Result(s)
within
Roberto Bruni
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
-
Article
Revisiting causality, coalgebraically
In this paper we recast the classical Darondeau–Degano’s causal semantics of concurrency in a coalgebraic setting, where we derive a compact model. Our construction is inspired by the one of Montanari and Pist...
-
Chapter
A Survey on Basic Connectors and Buffers
Recent years have witnessed an increasing interest about a rigorous modelling of (different classes of) connectors. Here, the term connector is used to name entities that can regulate the interaction of possib...
-
Chapter and Conference Paper
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
The notion of a session is fundamental in service-oriented applications, as it serves to separate interactions between clients and different instances of the same service, and to group together logical units o...
-
Chapter and Conference Paper
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation
Pre-nets have been recently proposed as a means of providing a functorial algebraic semantics to Petri nets (possibly with read arcs), overcoming some previously unsolved subtleties of the classical model. Her...
-
Chapter and Conference Paper
Bisimulation by Unification*
We propose a methodology for the analysis of open systems based on process calculi and bisimilarity. Open systems are seen as coordinators (i.e. terms with place-holders), that evolve when suitable components ...
-
Chapter
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoi...
-
Chapter
Transactions and Zero-Safe Nets
When employing Petri nets to model distributed systems, one must be aware that the basic activities of each component can vary in duration and can involve smaller internal activities, i.e., that transitions ar...
-
Chapter and Conference Paper
Normal Forms for Partitions and Relations
Recently there has been a growing interest towards algebraic structures that are able to express formalisms different from the standard, tree-like presentation of terms. Many of these approaches reveal a speci...
-
Chapter and Conference Paper
Executable Tile Specifications for Process Calculi
Tile logic extends rewriting logic by taking into account side-effects and rewriting synchronization. These aspects are very important when we model process calculi, because they allow us to expr...
-
Chapter and Conference Paper
Zero-safe nets: The individual token approach
In this paper we provide both an operational and an abstract concurrent semantics for zero-safe nets under the individual token philosophy. The main feature of zero-safe nets is a primitive notion of transition s...
