scientific article; zbMATH DE number 7454918

zbMATH Open1477.68183arXiv2009.07989MaRDI QIDQ5019690FDOQ5019690

Authors: Zorica Savanović, Letterio Galletta, Hugo Torres Vieira 

Publication date: 10 January 2022

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

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

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

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)

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Threaded behavior protocols
• Composition and decomposition of multiparty sessions
• A Type System for Usage of Software Components
• A type language for distributed reactive components governed by communication protocols

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)