Pages that link to "Item:Q2406167"
From MaRDI portal
The following pages link to Process algebras for Petri nets. The alphabetization of distributed systems (Q2406167):
Displaying 19 items.
- Process algebras as support for sustainable systems of services (Q814902) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Axiomatizing CCS, nets and processes (Q1314538) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves (Q2117014) (← links)
- Team equivalences for finite-state machines with silent moves (Q2216117) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- (Q4553276) (← links)
- The Complexity of Synthesis of b-Bounded Petri Nets (Q5025061) (← links)
- Synthesis and Properties of Optimally Value-Aligned Normative Systems (Q5043560) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- A Study on Team Bisimulations for BPP Nets (Q5100755) (← links)
- Open Petri nets (Q5139283) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- Process calculi for biological processes (Q6062000) (← links)
- The presentation of deterministic and strongly deterministic graphs (Q6561526) (← links)