Publication
-
January 2011
-
January 2011
-
Abstraction of biochemical reaction systems In Proceedings
January 2011 -
January 2011
-
From Nonpreemptive to Preemptive Scheduling – From Single-Processor to Multi-Processor In Proceedings
January 2011
-
Composing Real-Time Concurrent Objects - Refinement, Compatibility and Schedulability In Proceedings
January 2011
-
Ten Years of Analyzing Actors: Rebeca Experience In Proceedings
January 2011 -
January 2011