Pages that link to "Item:Q5178868"
From MaRDI portal
The following pages link to Extensionality and intensionality of the ambient logics (Q5178868):
Displaying 23 items.
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Typed context awareness ambient calculus for pervasive applications (Q903500) (← links)
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- Elimination of spatial connectives in static spatial logics (Q1763729) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- On the expressive power of movement and restriction in pure mobile ambients (Q1881256) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- The seal calculus (Q2566220) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- Intensionality of modal logic for robust ambient calculus (Q2844039) (← links)
- Undecidability of model checking in brane logic (Q2864500) (← links)
- Extensionality of spatial observations in distributed systems (Q2866349) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)
- A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
