Pages that link to "Item:Q5308453"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308453):
Displaying 14 items.
- Decidability issues for extended ping-pong protocols (Q861694) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping (Q2894570) (← links)
- The Decidability of the Reachability Problem for CCS! (Q3090842) (← links)
- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence (Q3498448) (← links)
- On Recursion, Replication and Scope Mechanisms in Process Calculi (Q3525112) (← links)
- On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733) (← links)
- Automata, Languages and Programming (Q5466471) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q6104372) (← links)