scientific article; zbMATH DE number 1398002
From MaRDI portal
Publication:4937113
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 (46)
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
This page was built for publication:
