A type checking algorithm for concurrent object protocols

DOI10.1016/j.jlamp.2018.06.001zbMath1400.68141OpenAlexW2807782850MaRDI 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

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