Decidability of Strong Bisimilarity for Timed BPP.

Slawomir Lasota

Browse the full CONCUR paper archive.