CONCUR 2004 - Concurrency Theory

DOI10.1007/b100113zbMath1099.68677OpenAlexW2499482941MaRDI QIDQ5311495

António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay

Publication date: 23 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100113

zbMATH Keywords

concurrent programmingspecification of communication protocolsSession typesstatic typechecking

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (13)

Relating Functional and Imperative Session Types ⋮ Checking data-race freedom of GPU kernels, compositionally ⋮ Contracts for Mobile Processes ⋮ Type checking a multithreaded functional language with session types ⋮ Separating Sessions Smoothly ⋮ Formalising Java RMI with explicit code mobility ⋮ A monotone framework for CCS ⋮ Asynchronous Session Types and Progress for Object Oriented Languages ⋮ Subtyping for session types in the pi calculus ⋮ A Calculus of Global Interaction based on Session Types ⋮ Polymorphic lambda calculus with context-free session types ⋮ Theoretical Aspects of Communication-Centred Programming ⋮ Prioritise the best variation

This page was built for publication: CONCUR 2004 - Concurrency Theory