Pages that link to "Item:Q688717"
From MaRDI portal
The following pages link to Refinement of actions in event structures and causal trees (Q688717):
Displaying 18 items.
- Modelling causality via action dependencies in branching time semantics (Q671596) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Well-behaved flow event structures for parallel composition and action refinement (Q1884941) (← links)
- A causal operational semantics of action refinement (Q1900316) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Towards refinable choreographies (Q2141294) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Action refinement. (Q2760253) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- (Q5019695) (← links)
- Action refinement and property inheritance in systems of sequential agents (Q6162110) (← links)