Decompositions of asynchronous systems

DOI10.1007/BFB0055647MaRDI QIDQ4251925zbMATH OpenFDO

Authors Rémi Morin

Publication date 17 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0055647

zbMATH Keywords

concurrent systemsinteracting automataPetri nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Synthesis of Asynchronous Systems
• Asynchronous system synthesis
• Asynchronous systems theory
• On deciding synchronizability for asynchronously communicating systems
• scientific article; zbMATH DE number 5269308
• scientific article; zbMATH DE number 3601533
• scientific article; zbMATH DE number 3938554
• Asynchronous wreath product and cascade decompositions for concurrent behaviours
• Asynchronous pseudo-systems
• Asynchronous multi-context systems

Cited in

(12)

• Factorisation of transition systems
• Fault-tolerant cooperative tasking for multi-agent systems
• Realizability of Concurrent Recursive Programs
• scientific article; zbMATH DE number 4056993 (Why is no real title available?)
• scientific article; zbMATH DE number 3601533 (Why is no real title available?)
• Decomposition in asynchronous circuit design
• Asynchronous trace-matching automata
• Parallel Processing and Applied Mathematics
• Guaranteed global performance through local coordinations
• scientific article; zbMATH DE number 5269308 (Why is no real title available?)
• Hypernode automata
• Decentralized modular hybrid supervisory control for the formation of unmanned helicopters

This page was built for publication: Decompositions of asynchronous systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4251925)