The following pages link to (Q4937113):
Displayed 45 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Fundamentals of session types (Q714736) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Nested session types (Q2233456) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Session types revisited (Q2407105) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- (Q2851048) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- On confluence in the π-calculus (Q4571963) (← links)
- (Q5009447) (← links)
- (Q5014811) (← links)
- (Q5014814) (← links)
- (Q5028463) (← links)
- Mixed Sessions (Q5041119) (← links)
- Back to futures (Q5063251) (← links)
- (Q5089276) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5094136) (← links)
- Deciding the Bisimilarity of Context-Free Session Types (Q5164167) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- (Q5875401) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)
- Typing Copyless Message Passing (Q5892489) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)