scientific article; zbMATH DE number 7075898

MaRDI QIDQ4967196zbMATH OpenFDO

Authors Ornela Dardha

Publication date 3 July 2019

Full work available at URL http://bulletin.eatcs.org/index.php/beatcs/article/view/375/355

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Type systems for distributed programs: components and sessions
• Modular session types for distributed object-oriented programming
• Type systems for distributed data structures
• scientific article; zbMATH DE number 2090851
• Trustworthy Global Computing
• A type language for distributed reactive components governed by communication protocols

Cited in

(11)

• Session coalgebras: a coalgebraic view on session types and communication protocols
• A typing discipline for statically verified crash failure handling in distributed systems
• A type language for distributed reactive components governed by communication protocols
• A gentle introduction to multiparty asynchronous session types
• A type theory for robust failure handling in distributed systems
• Session types for link failures
• Type systems for distributed data structures
• Type systems for distributed programs: components and sessions
• Trustworthy Global Computing
• Automated modular verification for relaxed communication protocols
• Combining behavioural types with security analysis

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