Pages that link to "Item:Q757073"
From MaRDI portal
The following pages link to Failures semantics based on interval semiwords is a congruence for refinement (Q757073):
Displaying 14 items.
- Bisimulation and action refinement (Q685407) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- Deciding true concurrency equivalences on safe, finite nets (Q1365677) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- Axiomatizing shuffle and concatenation in languages (Q1383153) (← links)
- Vertical implementation (Q1854462) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- Deciding true concurrency equivalences on finite safe nets (preliminary report) (Q4630288) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Generating Posets Beyond N (Q5098715) (← links)