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