View of Dynamic Composition and Concurrency in I/O Automata: The ioa++ Framework

##article.return## Dynamic Composition and Concurrency in I/O Automata: The ioa++ Framework Download Download PDF