The following pages link to (Q3774929):
Displayed 24 items.
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- On the regular structure of prefix rewriting (Q685354) (← links)
- Recursive process definitions with the state operator (Q758198) (← links)
- Automated analysis of mutual exclusion algorithms using CCS (Q911263) (← links)
- A short proof of the decidability of bisimulation for normed BPA- processes (Q1198053) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q1276237) (← links)
- On deciding trace equivalences for processes (Q1310916) (← links)
- Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\) (Q1314379) (← links)
- Complete formal systems for equivalence problems (Q1575907) (← links)
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (Q2866321) (← links)
- Graphes canoniques de graphes algébriques (Q3479542) (← links)
- Deciding Bisimilarity of Full BPA Processes Locally (Q3540084) (← links)
- Decision procedures and graph reductions for bisimulation equivalences part 1 (Q4203808) (← links)
- On deciding some equivalences for concurrent processes (Q4362275) (← links)
- Context-free event domains are recognizable (Q5096387) (← links)
- Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems (Q5894255) (← links)
- Pushdown automata, multiset automata, and Petri nets (Q5941098) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)
- Basic process algebra with deadlocking states (Q5958771) (← links)
- How to Parallelize sequential processes (Q6044125) (← links)
- Infinite results (Q6104374) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q6104375) (← links)
- Bisimulation collapse and the process taxonomy (Q6104377) (← links)