A Runtime Environment for Contract Automata.

Davide Basile Maurice H. ter Beek

Published in: CoRR (2022)

Keyphrases

runtime environment
parallel computation
database server
object model
user interface
advanced features
data structure
parallel algorithm
parallel computing
search engine
case study
software engineering
operating system
wireless networks
software components
virtual machine