Using logic to solve the submodule construction problem

DOI10.1007/S10626-011-0127-6MaRDI QIDQ2377376zbMATH OpenOpenAlexFDO

Authors Gregor von Bochmann

Publication date 28 June 2013

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-011-0127-6

zbMATH Keywords

component designderivation of component behaviordiscrete event control systemsequation solvingfirst-order logicinput/output automatalabeled transition systemsstate machinessubmodule construction

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• scientific article; zbMATH DE number 1973973
• scientific article; zbMATH DE number 1949643
• scientific article; zbMATH DE number 1956592
• scientific article; zbMATH DE number 4026813
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cites work

• A discrete event systems approach for protocol conversion
• Compositionally progressive solutions of synchronous FSM equations
• Factorisation of finite state machines under strong and observational equivalences
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 978906 (Why is no real title available?)
• scientific article; zbMATH DE number 1949643 (Why is no real title available?)
• scientific article; zbMATH DE number 1973973 (Why is no real title available?)
• Interface synthesis and protocol conversion
• On control of systems modelled as deterministic Rabin automata
• On the synthesis of discrete controllers for timed systems
• Progressive solutions to a parallel automata equation
• Proofs of Networks of Processes
• Submodule construction as equation solving in CCS
• Supervisory control of timed discrete-event systems

Cited in

(6)

• Submodule construction as equation solving in CCS
• scientific article; zbMATH DE number 4026813 (Why is no real title available?)
• Constructing submodule specifications and network protocols
• scientific article; zbMATH DE number 1949643 (Why is no real title available?)
• scientific article; zbMATH DE number 1973973 (Why is no real title available?)
• The quotient in preorder theories

This page was built for publication: Using logic to solve the submodule construction problem

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