Sassone, Vladimiro
-
BRICS Report Series No. 33 (1994): RS-33 Strong Concatenable Processes: An Approach to the Category of Petri Net Computations - Articles
Strong Concatenable Processes: An Approach to the Category of Petri Net Computations
Abstract PDF -
BRICS Report Series No. 11 (2004): RS-11 Congruences for Contextual Graph-Rewriting - Articles
Congruences for Contextual Graph-Rewriting
Abstract PDF -
BRICS Report Series No. 1 (2003): RS-1 Deriving Bisimulation Congruences: 2-Categories vs. Precategories - Articles
Deriving Bisimulation Congruences: 2-Categories vs. Precategories
Abstract PDF -
BRICS Report Series No. 10 (1997): RS-10 Transition Systems with Independence and Multi-Arcs - Articles
Transition Systems with Independence and Multi-Arcs
Abstract PDF -
BRICS Report Series No. 18 (1996): RS-18 Comparing Transition Systems with Independence and Asynchronous Transition Systems - Articles
Comparing Transition Systems with Independence and Asynchronous Transition Systems
Abstract PDF -
BRICS Report Series No. 6 (2003): RS-6 Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects - Articles
Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects
Abstract PDF -
BRICS Report Series No. 4 (2003): RS-4 A Formal Model for Trust in Dynamic Networks - Articles
A Formal Model for Trust in Dynamic Networks
Abstract PDF -
BRICS Report Series No. 23 (2005): RS-23 A Framework for Concrete Reputation-Systems - Articles
A Framework for Concrete Reputation-Systems
Abstract PDF -
BRICS Report Series No. 17 (1998): RS-17 A Comparison of Petri Net Semantics under the Collective Token Philosophy - Articles
A Comparison of Petri Net Semantics under the Collective Token Philosophy
Abstract PDF