A Runtime Environment for Contract Automata.

Davide Basile Maurice H. ter Beek

Published in: FM (2023)

Keyphrases

runtime environment
parallel computation
database server
object model
user interface
virtual machine
advanced features
real time
three dimensional
databases
computer systems
computing systems
parallel computing