What people are saying - Write a review
We haven't found any reviews in the usual places.
Modal Logic of Concurrent Nondeterministic Programs
YNonDeterministic System Specification
15 other sections not shown
Other editions - View all
abstract actions allow application assume basic behavior called communication complete component computation concurrent condition consider consists constraints construct contains contraction correctness corresponding deadlock defined Definition denote depend described distributed domain elements equations equivalent event example execution exists expression Extended fact final finite firing formal formula function give given graph holds implementation important infinite initial input introduced invariant label language least lines livelocks logic marking means multiset nets node Note notion object observable occur operations parallel programs partial path Petri possible present primitive problem proof properties prove queue received relation represented request require respect restriction result satisfies semantics sequence sequential serializers simple specification statement step structure subset termination Theorem theory transition true University variables