Nr. 43 (1994): RS-43 A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)

Artikler

• A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)

  Luca Aceto

  • PDF (English)