A type checking algorithm for concurrent object protocols

DOI10.1016/J.JLAMP.2018.06.001zbMATH Open1400.68141OpenAlexW2807782850WikidataQ129656996 ScholiaQ129656996MaRDI QIDQ1785846FDOQ1785846

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

concurrent objectstype inferencebehavioral 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)

Cites Work

• Derivatives of Regular Expressions
• The chemical abstract machine
• Fundamental properties of infinite trees
• Concurrent Kleene Algebra
• Multiparty Asynchronous Session Types
• On global types and multi-party sessions
• State inference for dynamically changing interfaces
• Inheritance in the join calculus.
• The complexity of equivalence problems for commutative grammars
• Newtonian program analysis
• On projecting processes into session types
• A simple library implementation of binary sessions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

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

Uses Software

• z3
• LASH
• Mungo
• session-ocaml

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1785846)