Distributed implementation of systems with multiparty interactions and priorities

DOI10.1007/978-3-642-24690-6_5MaRDI QIDQ3095232zbMATH OpenOpenAlexFDO

Authors Imene Ben-Hafaiedh, Susanne Graf, Nejla Mazouz

Publication date 28 October 2011

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24690-6_5

zbMATH Keywords

distributed systemsprioritiesmultiparty interaction

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14) Network protocols (68M12)

Recommendations

• A comprehensive study of the complexity of multiparty interaction
• Building distributed controllers for systems with priorities
• Local planning of multiparty interactions with bounded horizons
• scientific article; zbMATH DE number 2087406
• A framework for automated distributed implementation of component-based models

Cites work

• scientific article; zbMATH DE number 4026811 (Why is no real title available?)
• scientific article; zbMATH DE number 4084989 (Why is no real title available?)
• A framework for automated distributed implementation of component-based models
• A high-performance, portable implementation of the MPI message passing interface standard
• Building distributed controllers for systems with priorities
• Capturing Conflict and Confusion in CSP
• FM 2005: Formal Methods
• Formal Methods for Components and Objects
• Knowledge based scheduling of distributed systems
• Priority Scheduling of Distributed Systems Based on Model Checking
• Think globally, act locally: decentralized supervisory control

Cited in

(5)

• A framework for automated distributed implementation of component-based models
• Building distributed controllers for systems with priorities
• Local planning of multiparty interactions with bounded horizons
• scientific article; zbMATH DE number 1756101 (Why is no real title available?)
• scientific article; zbMATH DE number 2087406 (Why is no real title available?)

Describes a project that uses

Uses Software

• MPI

This page was built for publication: Distributed implementation of systems with multiparty interactions and priorities

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