Global protocol implementations via attribute-based communication

DOI10.1007/978-3-319-25527-9_15zbMATH Open1434.68103OpenAlexW2296750566MaRDI QIDQ3460871FDOQ3460871

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

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

Mathematics Subject Classification ID

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

Cites Work

• From communicating machines to graphical choreographies
• Multiparty asynchronous session types
• Structured Communication-Centred Programming for Web Services
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Extensional equivalences for transition systems
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• On the Power of Attribute-Based Communication

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)