scientific article; zbMATH DE number 7454918

MaRDI QIDQ5019690zbMATH OpenFDO

Authors Zorica Savanović, Letterio Galletta, Hugo Torres Vieira

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2009.07989, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2020.3

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)

Recommendations

• A type language for distributed reactive components governed by communication protocols
• scientific article; zbMATH DE number 1629952
• Type systems for distributed programs: components and sessions
• A framework for substructural type systems
• Types as models: model checking message-passing programs
• scientific article; zbMATH DE number 2118239
• scientific article; zbMATH DE number 2118223

Cites work

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

Cited in

(8)

• scientific article; zbMATH DE number 2080762 (Why is no real title available?)
• scientific article; zbMATH DE number 2089396 (Why is no real title available?)
• Threaded behavior protocols
• Composition and decomposition of multiparty sessions
• A Type System for Usage of Software Components
• Safe orchestrated multicomposition of systems of communicating finite state machines
• A type language for distributed reactive components governed by communication protocols
• Safe composition of systems of communicating finite state machines

Describes a project that uses

Uses Software

• FACTum

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 Q5019690)