Pages that link to "Item:Q1101233"
From MaRDI portal
The following pages link to Failures semantics and deadlocking of modular Petri nets (Q1101233):
Displaying 11 items.
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- Fair testing (Q865623) (← links)
- Basic observables for processes (Q1286368) (← links)
- A compositional dataflow semantics for Petri nets (Q1902302) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Observable liveness of Petri nets (Q2340254) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Modular Analysis of Petri Nets (Q4509344) (← links)
- Basic observables for processes (Q4571979) (← links)
- A fully abstract semantics for termination in Petri nets (Q5096896) (← links)
- Asynchronous communication of Petri Nets and the refinement of transitions (Q5204351) (← links)