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