Non-blocking concurrent imperative programming with session types

MaRDI QIDQ5014811zbMATH OpenFDO

Authors

Publication date 8 December 2021

Full work available at URL https://arxiv.org/abs/1701.04920, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2016.7

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 7441269
• scientific article; zbMATH DE number 1759630
• Session-typed concurrent contracts
• Session-typed concurrent contracts
• Session-based concurrency, reactively

Cites work

• Aspects of Applicative Programming for Parallel Processing
• Functions as session-typed processes
• Higher-order processes, functions, and sessions: a monadic integration
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• Introduction to algorithms
• Linear logic propositions as session types
• Polarized Substructural Session Types
• Relating state-based and process-based concurrency through linear logic (full-version)
• Session types as intuitionistic linear propositions

Cited in

(1)

• CONCUR 2004 - Concurrency Theory

This page was built for publication: Non-blocking concurrent imperative programming with session types

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