Login / Signup
Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems.
Ming Zhu
Peter Grogono
Olga Ormandjieva
Heng Kuang
Published in:
ANT/SEIT (2016)
Keyphrases
</>
concurrent systems
design process
case study
efficient implementation
implementation issues
architectural design
design processes
communication systems
design methodology
control system
knowledge based systems
theoretical framework
conceptual framework
formal specification
hardware architecture
modular design