A type checking algorithm for concurrent object protocols

DOI10.1016/J.JLAMP.2018.06.001zbMath1400.68141OpenAlexW2807782850WikidataQ129656996 ScholiaQ129656996MaRDI QIDQ1785846

Luca Padovani

Publication date: 1 October 2018

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/1670197

zbMATH Keywords

type inferenceconcurrent objectsbehavioral type checkingcommutative Kleene algebraobject protocolsobjective join calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Special issue on the tenth workshop on programming language approaches to concurrency- and communication-centric software

Uses Software

• z3
• LASH
• Mungo
• session-ocaml

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamental properties of infinite trees
• The chemical abstract machine
• Inheritance in the join calculus.
• On Global Types and Multi-Party Session
• On projecting processes into session types
• Newtonian program analysis
• Multiparty Asynchronous Session Types
• Concurrent Kleene Algebra
• The complexity of equivalence problems for commutative grammars
• State inference for dynamically changing interfaces
• A simple library implementation of binary sessions
• Derivatives of Regular Expressions

This page was built for publication: A type checking algorithm for concurrent object protocols