Skip to content

Brandeis CS 112

Modal, Temporal, and Spatial Logics

Hendrick’s slides on Bisimulations

HendricksBisimulation

Author adminPosted on November 21, 2013Categories Readings and Class Notes

Post navigation

Previous Previous post: Blackburn and van Bentham: Bisimulation discussion in Modal Logic Survey
Next Next post: Bisimulation slides are posted!

Recent Posts

  • Correction on CTL Sample Problem
  • News on Final Exam!
  • Answers for Final Exam Sample Questions (with corrections!! :))
  • Answers coming later Saturday
  • Final Exam Sample Questions Part II

Recent Comments

    Archives

    • December 2013
    • November 2013
    • October 2013
    • September 2013
    • August 2013

    Categories

    • Class News
    • Problem Sets
    • Readings and Class Notes
    • Uncategorized

    Meta

    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    Brandeis CS 112 Proudly powered by WordPress