Distributed implementation of systems with multiparty interactions and priorities

DOI10.1007/978-3-642-24690-6_5zbMATH Open1350.68040OpenAlexW18136791MaRDI QIDQ3095232FDOQ3095232

Nejla Mazouz, Imene Ben-Hafaiedh, Susanne Graf

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

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

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)

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)