The following pages link to CONCUR 2003 - Concurrency Theory (Q5900558):
Displaying 8 items.
- Semantic domains of timed event structures (Q840017) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Bundle event structures: a revised cpo approach. (Q1853038) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- On Refinement-Closed Security Properties and Nondeterministic Compositions (Q5178974) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
