Pages that link to "Item:Q5716865"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716865):
Displayed 9 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Expressiveness of Process Algebras (Q2870198) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- (Q3385647) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- A Complete Symbolic Bisimilarity for an Extended Spi Calculus (Q5170184) (← links)