Asynchronous system synthesis
From MaRDI portal
Recommendations
Cited in
(13)- Verification of asynchronous systems with an unspecified component
- Effective synthesis of asynchronous systems from GR(1) specifications
- scientific article; zbMATH DE number 2086659 (Why is no real title available?)
- Automating synthesis of asynchronous communication mechanisms
- Derivation of concurrent programs by stepwise scheduling of Event-B models
- Kaisa Sere: in memoriam
- Synchronous development of asynchronous systems
- scientific article; zbMATH DE number 1305002 (Why is no real title available?)
- scientific article; zbMATH DE number 1696469 (Why is no real title available?)
- Arbiters: An exercise in specifying and decomposing asynchronously communicating components
- scientific article; zbMATH DE number 1955907 (Why is no real title available?)
- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
- scientific article; zbMATH DE number 5269308 (Why is no real title available?)
This page was built for publication: Asynchronous system synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1776590)