Asynchronous system synthesis

DOI10.1016/J.SCICO.2004.05.018MaRDI QIDQ1776590zbMATH OpenOpenAlexFDO

Authors J. Plosila, K. Sere, Marina Waldén

Publication date 12 May 2005

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2004.05.018

zbMATH Keywords

action systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis of Asynchronous Systems
• Synthesis of asynchronous reactive programs from temporal specifications
• Effective synthesis of asynchronous systems from GR(1) specifications
• scientific article; zbMATH DE number 1955907
• Automating synthesis of asynchronous communication mechanisms

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)