Linearly refined session types

MaRDI QIDQ4986741zbMATH OpenFDO

Authors Pedro Baltazar, Dimitris Mostrous, Vasco T. Vasconcelos

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1211.4099, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2012.4

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session types revisited
• Linear logic propositions as session types
• CONCUR 2004 - Concurrency Theory
• A linear account of session types in the pi calculus
• Fundamentals of session types

Cited in

(10)

• Depending on session-typed processes
• Session types revisited
• Session Types with Gradual Typing
• Polarized Substructural Session Types
• Session and Union Types for Object Oriented Programming
• scientific article; zbMATH DE number 7319032 (Why is no real title available?)
• Rast: a language for resource-aware session types
• Session Types with Arithmetic Refinements
• Termination Analysis for the \pi -Calculus by Reduction to Sequential Program Termination
• Combining behavioural types with security analysis

This page was built for publication: Linearly refined session types

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