The following pages link to The seal calculus (Q2566220):
Displaying 16 items.
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Security types for dynamic web data (Q935467) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- (Q5875399) (← links)
