scientific article; zbMATH DE number 1398002
From MaRDI portal
zbMath0939.68642MaRDI QIDQ4937113
Publication date: 3 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)
Related Items
Mixed Sessions, Parametrized fixed points and their applications to session types, Behavioural Analysis of Sessions Using the Calculus of Structures, Binary Session Types for Psi-Calculi, Back to futures, Compliance in Behavioural Contracts: A Brief Survey, Conflation Confers Concurrency, Subtyping Supports Safe Session Substitution, Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less), Strong normalisation in the \(\pi\)-calculus, On confluence in the π-calculus, Session types revisited, Comparing type systems for deadlock freedom, Fairness and communication-based semantics for session-typed languages, Non-Deterministic Functions as Non-Deterministic Processes (Extended Version), Separating Sessions Smoothly, The different shades of infinite session types, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Nested session types, Session coalgebras: a coalgebraic view on session types and communication protocols, An algebraic theory for web service contracts, Deciding the Bisimilarity of Context-Free Session Types, Unnamed Item, Asynchronous Session Types and Progress for Object Oriented Languages, Fundamentals of session types, Unnamed Item, Contract-based discovery of Web services modulo simple orchestrators, Type inference and strong static type checking for Promela, Unnamed Item, A type checking algorithm for concurrent object protocols, Linearity and bisimulation, Global types with internal delegation, Amalgamating sessions and methods in object-oriented languages with generics, Typing Copyless Message Passing, Session-typed concurrent contracts, Objects and session types, Session Types with Arithmetic Refinements, Probabilistic Analysis of Binary Sessions, Type-Based Analysis for Session Inference (Extended Abstract), Proof-Carrying Code in a Session-Typed Process Calculus, Subtyping for session types in the pi calculus, Two decades of automatic amortized resource analysis
