A type language for distributed reactive components governed by communication protocols

DOI10.1016/j.jlamp.2023.100848OpenAlexW4317623043MaRDI QIDQ2693296

Zorica Savanović, Letterio Galletta

Publication date: 20 March 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100848

zbMATH Keywords

distributed systemsbehavioural typesdistributed components

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Composition and decomposition of multiparty sessions
• 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: A type language for distributed reactive components governed by communication protocols