The following pages link to The seal calculus (Q2566220):
Displaying 21 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)
- Security Types for Dynamic Web Data (Q3608462) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- Multiple-Labelled Transition Systems for nominal calculi and their logics (Q5458061) (← links)
- The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
- Boxed ambients with communication interfaces (Q5756976) (← links)
- (Q5875399) (← links)
