On the expressive power of behavioral profiles
From MaRDI portal
Publication:315288
DOI10.1007/S00165-016-0372-4zbMath1345.68237OpenAlexW2379946416MaRDI QIDQ315288
Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy
Publication date: 20 September 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11343/224181
regular languageexpressive powerdynamic systembehavioral equivalencebehavioral abstractionbehavioral profile
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the expressive power of behavioral profiles
- Reduction of event structures under history preserving bisimulation
- Computing the reveals relation in occurrence nets
- Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
- Petri nets, event structures and domains. I
- Petri nets and regular languages
- Branching processes of Petri nets
- On Profiles and Footprints – Relational Semantics for Petri Nets
- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
- Refinement of actions and equivalence notions for concurrent systems
This page was built for publication: On the expressive power of behavioral profiles
