Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP.

Lili Xiao Huibiao Zhu

Published in: SETTA (2021)

Keyphrases

conceptual model
management system
software architecture
formal semantics
algebraic structure
real time
logic programming
data flow
design considerations
website
expert systems
agent communication