Abstract I/O Specification.

Willem Penninckx Amin Timany Bart Jacobs

Published in: CoRR (2019)

Keyphrases

high level
input output
state machines
load balancing
real time
data sets
genetic algorithm
low level
main memory
file system
application specific
specification language
reactive systems
transition systems