What people are saying - Write a review
We haven't found any reviews in the usual places.
Lnifying Theories of Parallel Programming
10 other sections not shown
Other editions - View all
abstraction actions algebra allows application approach assertion assume atoms basic behavior binding called checking complete components composition computation concurrent condition cons consider construction contains correctness defined definition denote described engineering equal equational example execution expression fact field Figure formal formula function give given heap holds implementation induction initial instance interface introduce L2:List labels language logic machine maps mathematical Maude means method module notation Note object operations path possible predicate present proof properties prove reduction reference refinement relation represented requirements result rewrite rules satisfies semantics sequence signature sort specification stack step structure symbols temporal theorem theory thread tool top-frame transition translation true unit variables verification