scientific article; zbMATH DE number 1398002

MaRDI QIDQ4937113zbMATH OpenFDO

Authors Kohei Honda

Publication date 3 February 2000

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65)

Cited in

(46)

• Amalgamating sessions and methods in object-oriented languages with generics
• Objects and session types
• A type checking algorithm for concurrent object protocols
• Parametrized fixed points and their applications to session types
• Nested session types
• Session coalgebras: a coalgebraic view on session types and communication protocols
• Global types with internal delegation
• Session types revisited
• Subtyping for session types in the pi calculus
• Comparing type systems for deadlock freedom
• Fairness and communication-based semantics for session-typed languages
• Type-Based Analysis for Session Inference (Extended Abstract)
• Processes and games
• Proof-carrying code in a session-typed process calculus
• Behavioural analysis of sessions using the calculus of structures
• Binary session types for psi-calculi
• Conflation confers concurrency
• Subtyping Supports Safe Session Substitution
• Linear is CP (more or less)
• Compliance in behavioural contracts: a brief survey
• On confluence in the -calculus
• An algebraic theory for web service contracts
• A universal session type for untyped asynchronous communication
• Non-blocking concurrent imperative programming with session types
• scientific article; zbMATH DE number 7441269 (Why is no real title available?)
• Rast: a language for resource-aware session types
• Mixed sessions
• Back to futures
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Session Types with Arithmetic Refinements
• Probabilistic Analysis of Binary Sessions
• Circular proofs as session-typed processes: a local validity condition
• Deciding the bisimilarity of context-free session types
• Asynchronous Session Types and Progress for Object Oriented Languages
• Domain-aware session types
• Two decades of automatic amortized resource analysis
• Typing copyless message passing
• Session-typed concurrent contracts
• Strong normalisation in the \(\pi\)-calculus
• The different shades of infinite session types
• MAG\(\pi\): types for failure-prone communication
• System \(F^\mu_\omega\) with context-free session types
• Fundamentals of session types
• Contract-based discovery of Web services modulo simple orchestrators
• Type inference and strong static type checking for Promela
• Linearity and bisimulation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4937113)