Pages that link to "Item:Q6044126"
From MaRDI portal
The following pages link to Causal ambiguity and partial orders in event structures (Q6044126):
Displaying 9 items.
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- Partial Orders, Event Structures and Linear Strategies (Q3637188) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- (Q5207054) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709961) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)