Generalized Synchronization Trees

Submitted by Rance Cleaveland on
  • bisimulation
  • Composition
  • cyber-physical systems
  • process algebra
  • University of Maryland
  • Foundations
  • Concurrency and Timing
  • Time Synchronization
  • Modeling
  • 2014
  • National CPS PI Meeting 2014
  • Academia
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.