Pages that link to "Item:Q2576666"
From MaRDI portal
The following pages link to Subtyping for session types in the pi calculus (Q2576666):
Displaying 50 items.
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Orchestrated session compliance (Q347361) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Conversation types (Q615952) (← links)
- Fundamentals of session types (Q714736) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- On the boundary between decidability and undecidability of asynchronous session subtyping (Q1704600) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Session types without sophistry. System description (Q2039935) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Using session types for reasoning about boundedness in the \(\pi\)-calculus (Q2216475) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Nested session types (Q2233456) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Data-driven adaptation for smart sessions (Q2360650) (← links)
- Certifying data in multiparty session types (Q2360653) (← links)
- Session types revisited (Q2407105) (← links)
- Undecidability of asynchronous session subtyping (Q2407107) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- Exception handling for copyless messaging (Q2441510) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- A Calculus of Global Interaction based on Session Types (Q2864218) (← links)
- Propositions as sessions (Q2875234) (← links)
- On projecting processes into session types (Q2883119) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- Certifying Data in Multiparty Session Types (Q3188299) (← links)
- (Q5009447) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
