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
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14) Network protocols (68M12)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Formal Methods for Components and Objects
Cited In (1)
Uses Software
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)