What people are saying - Write a review
We haven't found any reviews in the usual places.
Experimenting on Nondetermlnistic Machines
9 other sections not shown
Other editions - View all
a-experiment absorption law access sort agents algorithms allow arbitrary assume atomic actions ax.B behaviour expressions behaviour identifiers behaviour operations behaviour programs bijection branches calculus carmunication CELL Chapter complete components composite guards computation concurrent programming concurrent systems confluence congruence relation consider constraints cycler DCCS deduce define derivation derived calculus determinacy equations equivalence relation example Exercise Expansion Theorem experiment finite free variables function FV(B generalised implies inductive hypothesis inductive step infinite input labels laws Lemma machine Marked Graphs means multiset NODE Note notion observation congruence observation equivalence output Petri Nets possible programming language Proof properties Proposition prove PUSH(s relabelling represented restriction result scheduler semantic seme sequence simple specified strong congruence strong equivalence sum of guards summand techniques Theorem 5.3 theory translation tree tuple unary unary operation value expressions value-passing whence yields