Return to Article Details
The true bisimulations for 'since' and 'until'
Download
Download PDF