The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems

DOI10.1007/978-3-319-07734-5_12zbMath1393.68123OpenAlexW1565607498MaRDI QIDQ5166766

Marcello La Rosa, Matthias Weidlich, Raffaele Conforti, Artem Polyvyanyy, Arthur H. M. ter Hofstede

Publication date: 8 July 2014

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11343/209078

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

On the expressive power of behavioral profiles ⋮ Untanglings: a novel approach to analyzing concurrent systems ⋮ Flexible Process Model Mapping using Relaxation Labeling

Uses Software

• jBPT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for concurrency: Towards a classification
• Petri nets, event structures and domains. I
• Persistence of vector replacement systems is decidable
• The covering and boundedness problems for vector addition systems
• Liveness, fairness, and recurrence in Petri nets
• Concurrent bisimulations in Petri nets
• On Profiles and Footprints – Relational Semantics for Petri Nets
• Process Mining
• The non-sequential behaviour of Petri nets

This page was built for publication: The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems