Generalized Synchronization Trees

Submitted by Rance Cleaveland on Wed, 12/03/2014 - 10:27

bisimulation
Composition
cyber-physical systems
process algebra
University of Maryland
Foundations
Concurrency and Timing
Time Synchronization
Modeling
2014
National CPS PI Meeting 2014
Academia