Pages that link to "Item:Q5898154"
From MaRDI portal
The following pages link to Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898154):
Displaying 6 items.
- Adhesive DPO Parallelism for Monic Matches (Q2867888) (← links)
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi (Q3184728) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)
