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

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

• 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)

• 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)