Pages that link to "Item:Q3817589"
From MaRDI portal
The following pages link to Axiomatising Finite Concurrent Processes (Q3817589):
Displaying 12 items.
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Observing localities (Q685414) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- Bisimilarity is not finitely based over BPA with interrupt (Q860878) (← links)
- \(\tau\)-bisimulations and full abstraction for refinement of actions (Q1183474) (← links)
- A theory of processes with localities (Q1329198) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
- Termination, deadlock and divergence (Q5887521) (← links)
