Distributed Implementation of Systems with Multiparty Interactions and Priorities

DOI10.1007/978-3-642-24690-6_5zbMath1350.68040OpenAlexW18136791MaRDI QIDQ3095232

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

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)

Uses Software

• MPI

Cites Work

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

This page was built for publication: Distributed Implementation of Systems with Multiparty Interactions and Priorities