scientific article; zbMATH DE number 7319032

zbMATH Open1457.68185arXiv1108.4467MaRDI QIDQ4965859FDOQ4965859

Authors: Ugo Dal Lago, Paolo Di Giamberardino 

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1108.4467

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Session types for safe web service orchestration
• Title not available (Why is that?)
• Title not available (Why is that?)
• On session types and polynomial time
• Linear logical relations and observational equivalences for session-based concurrency

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)