Pages that link to "Item:Q3817589"

The following pages link to Axiomatising Finite Concurrent Processes (Q3817589):

Displaying 16 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)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
• The limit of splitn-language equivalence (Q4645217) (← links)
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
• The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
• Termination, deadlock and divergence (Q5887521) (← links)
• Axiomatising real-timed processes (Q5890048) (← links)