The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems

DOI10.1007/978-3-319-07734-5_12MaRDI QIDQ5166766zbMATH OpenOpenAlexFDO

Authors Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, 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)

Recommendations

• Computing Behavioral Relations for Probabilistic Concurrent Systems
• scientific article; zbMATH DE number 107452
• scientific article; zbMATH DE number 3915634
• Four domains for concurrency
• An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
• scientific article; zbMATH DE number 3956418
• Synthesis and equivalence of concurrent systems
• Constraint-based concurrency and beyond

Cites work

• Causal behavioural profiles -- efficient computation, applications, and evaluation
• Concurrent bisimulations in Petri nets
• scientific article; zbMATH DE number 1361135 (Why is no real title available?)
• scientific article; zbMATH DE number 1106703 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Liveness, fairness, and recurrence in Petri nets
• Models for concurrency: Towards a classification
• On profiles and footprints -- relational semantics for Petri nets
• Persistence of vector replacement systems is decidable
• Petri nets, event structures and domains. I
• Process mining. Discovery, conformance and enhancement of business processes.
• The covering and boundedness problems for vector addition systems
• The non-sequential behaviour of Petri nets

Cited in

(4)

• Four domains for concurrency
• On the expressive power of behavioral profiles
• Flexible process model mapping using relaxation labeling
• Untanglings: a novel approach to analyzing concurrent systems

Describes a project that uses

Uses Software

• jBPT

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166766)