What people are saying - Write a review
We haven't found any reviews in the usual places.
H P Barendregt M van Leeuwen
H J Hoogeboom G Rozenberg
J Hooman W P de Roever
5 other sections not shown
Other editions - View all
adh(K applied array assertion atomic actions automata auxiliary variables behaviour bisimulation boolean called channel clause clause logic cobegin Communicating Sequential Processes communication Computer Science concurrent programs consider construct corresponding dataflow networks datons declaration defined definition denotational semantics edges elements enterl evaluation example execution expr expression finitary language finite firing sequence formal formula functional programming global graph Herbrand Herbrand Universe Horn clause i-accepted infinite initial input integer invariant jdxa layer Lemma logic programming logical variables machine metric space notation notion occurrence operational semantics operator nets parallel composition Petri nets postcondition predicate Prolog Proof Outline Logic proofsystem protocol prove read-only variables recursive reduced result rule safety property satisfies sequential specification statement structure subset synchronization syntactic T-graph TCSP temporal logic Theorem theory TPDU transition system uoxssajdxa valid verification