Global protocol implementations via attribute-based communication

DOI10.1007/978-3-319-25527-9_15MaRDI QIDQ3460871zbMATH OpenOpenAlexFDO

Authors Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira

Publication date 8 January 2016

Published in Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25527-9_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Defining, analysing and implementing communication protocols using attribute grammars
• On global types and multi-party sessions
• Stateful Behavioral Types for Active Objects
• Systems specification by basic protocols
• scientific article; zbMATH DE number 2018583

Cites work

• scientific article; zbMATH DE number 6703933 (Why is no real title available?)
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Extensional equivalences for transition systems
• From communicating machines to graphical choreographies
• Multiparty asynchronous session types
• Structured Communication-Centred Programming for Web Services

Cited in

(2)

• scientific article; zbMATH DE number 2018583 (Why is no real title available?)
• On the Power of Attribute-Based Communication

Describes a project that uses

Uses Software

• AIOCJ

This page was built for publication: Global protocol implementations via attribute-based communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460871)