scientific article; zbMATH DE number 7454918

zbMath1477.68183arXiv2009.07989MaRDI QIDQ5019690

Letterio Galletta, Zorica Savanović, Hugo Torres Vieira

Publication date: 10 January 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A type language for distributed reactive components governed by communication protocols ⋮ Composition and decomposition of multiparty sessions

Uses Software

• FACTum

Cites Work

• A core model for choreographic programming
• Interactive verification of architectural design patterns in FACTum
• Deadlock-freedom-by-design
• Multiparty Asynchronous Session Types
• Coordination Via Types in an Event-Based Framework

This page was built for publication: