Safety and Liveness. Defining Programs Variables with respective domain –State space of the program Program actions –Guarded commands Program computation.
Dr. Vered Gafni Temporal Logics Linear Time Temporal Logic –Every state has unique time successor –Infinite sequences Computation Tree Logic –A state.
CS294, YelickSelf Stabilizing, p1 CS 294-8 Self-Stabilizing Systems yelick/294.
Cse536 Functional Programming 1 6/28/2015 Lecture #3, Oct 4, 2004 Reading Assignments –Finish chapter 2 and begin Reading chapter 3 of the Text Today’s.
*Department of Computing Science University of Newcastle upon Tyne **Institut für Informatik, Universität Augsburg Canonical Prefixes of Petri Net Unfoldings.
Victor Khomenko
* Department of Computing Science University of Newcastle upon Tyne