Login / Signup
Bridging the semantic gap between qualitative and quantitative models of distributed systems.
Si Liu
José Meseguer
Peter Csaba Ölveczky
Min Zhang
David A. Basin
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
distributed systems
qualitative and quantitative
physical systems
distributed environment
fault tolerant
bridging the semantic gap
complex systems
distributed database systems
geographically distributed
qualitative information
qualitative models
software development environments
computer vision