Models and axioms for a fragment of real time process algebra /

類似資料

• Process algebras with data
  著者:: Ponse, A. (Alban), 1955-
  出版事項: (1992)
• Pre-run-time scheduling of distributed real-time systems : models and algorithms : proefschrift
  著者:: Verhoosel, Jacobus Philomena Cyprianus
  出版事項: (1995)
• Probabilistic process algebra
  著者:: Andova, Suzana
  出版事項: (2002)
• Flexible scheduling of hard real-time systems
  著者:: Audsley, Neil C.
  出版事項: (1993)
• Models and methods for action refinement
  著者:: Rensink, Arend, 1964-
  出版事項: (1993)