Using Category Theory to Verify Implementation Against Design in Concurrent Systems.
Ming ZhuPeter GrogonoOlga OrmandjievaPublished in: ANT/SEIT (2015)
Keyphrases
- concurrent systems
- efficient implementation
- case study
- implementation issues
- design decisions
- high level synthesis
- architectural design
- conceptual framework
- theoretical framework
- user interface
- computer aided
- temporal logic
- design principles
- design process
- knowledge based systems
- design methodology
- design considerations
- rapid prototyping
- relational databases
- modular design
- multi agent systems
- information systems