Time Abstracted Bisimiulation: Implicit Specifications and Decidability.

Kim Guldstrand Larsen, Wang Yi

Browse the full MFPS paper archive.