scientific article; zbMATH DE number 7319032

MaRDI QIDQ4965859zbMATH OpenFDO

Authors Ugo Dal Lago, Paolo Di Giamberardino

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1108.4467, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.5

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session types revisited
• scientific article; zbMATH DE number 7168313
• Session Types with Gradual Typing
• Session types at the mirror
• Fundamentals of session types
• scientific article; zbMATH DE number 6816946
• Typing the behavior of software components using session types
• Linearly refined session types

Cited in

(5)

• Session types for safe web service orchestration
• On session types and polynomial time
• scientific article; zbMATH DE number 6816946 (Why is no real title available?)
• Linear logical relations and observational equivalences for session-based concurrency
• Domain-aware session types

This page was built for publication:

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