What people are saying - Write a review
We haven't found any reviews in the usual places.
EELLA E DAMERI P DEGANO G LEVI M MARTELLI
J A BEBGSTRA J W KLOP
20 other sections not shown
Other editions - View all
abstract data types abstract type agents algebraic specifications algorithm applied assertions atomic formula axioms block Broy communicating sequential processes communication compiler computation concurrent concurrent programs consider construction corresponding defined definition denotational semantics denote domain element equations equivalence example execution exists external request finite ForEach formal function given graph implementation induction Init initial initial algebra input integer interpretation introduced lazy evaluation Lemma logic match member(y,w1 method NEXTSTATE nodes nondeterminism nondeterministic obtained occur operational semantics operations output parallel parameters partial evaluation pattern predicate transformer priority queues problem proc procedure processors programming language proof outline proof system properties prove recursive relation result rewrite rule s-formula scheme semantics semilattice sequence sequential sort structural induction structure symbols synchronization point syntactic termination theorem total correctness variables verification when-statement Wirsing wpr(R