The following pages link to CONCUR 2004 - Concurrency Theory (Q5311492):
Displayed 27 items.
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- On notions of regularity for data languages (Q846359) (← links)
- Synchronizing relations on words (Q905682) (← links)
- CSL model checking algorithms for QBDs (Q995462) (← links)
- Reachability analysis of reversal-bounded automata on series-parallel graphs (Q1741900) (← links)
- On pebble automata for data languages with decidable emptiness problem (Q1959427) (← links)
- View abstraction for systems with component identities (Q2024368) (← links)
- Learning residual alternating automata (Q2105462) (← links)
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- State complexity of permutation and related decision problems on alphabetical pattern constraints (Q2117669) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Static Analysis of Communicating Processes Using Symbolic Transducers (Q2961555) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Learning Meets Verification (Q3525110) (← links)
- (Q5013881) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
- Closure properties of synchronized relations (Q5090470) (← links)
- The Quantifier Alternation Hierarchy of Synchronous Relations (Q5092389) (← links)
- Zeno, Hercules, and the Hydra (Q5277917) (← links)
- On Verifying Fault Tolerance of Distributed Protocols (Q5458335) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)
- Model checking, synthesis, and learning (Q6041187) (← links)
- Regular model checking revisited (Q6045028) (← links)