Pages that link to "Item:Q5310656"
From MaRDI portal
The following pages link to On the Expressiveness of the Ambient Logic (Q5310656):
Displaying 5 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- Hybrid Logical Analyses of the Ambient Calculus (Q3612655) (← links)