Pages that link to "Item:Q5705882"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705882):
Displaying 6 items.
- First-order reasoning for higher-order concurrency (Q456466) (← links)
- A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- Automata, Languages and Programming (Q5716865) (← links)