tr-announce August 2011

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 2 discussions

2011-12: On Compositional Failure Detection in Structured Transition Systems
by Carsten Fuhs
12 years, 9 months

2011-18: Introducing Timers to pi-Calculus
by Carsten Fuhs
12 years, 9 months
Results per page: