What people are saying - Write a review
We haven't found any reviews in the usual places.
Issues in the design of a parallel objectoriented language
Solving reflexive domain equations in a category of complete metric
6 other sections not shown
Other editions - View all
abstract data types AObj arbitrary axioms C.A.R. Hoare called Cauchy sequence communication compact complete metric spaces component Computer Science concurrency construct contracting functor converging tower defined as follows definition denotational semantics described direct limit dynamic elementary action environments equivalence ESPRIT Project 415 evaluation example execution expression fair finite formal Frank de Boer given global guarded indices induction infinite iteration instance variables integers isometric J.W. de Bakker Lemma mapping mathematical method node nonuniform Notes in Computer notion object name object-oriented programming operational and denotational operational semantics parallel object-oriented language parameters path Philips Research Laboratories Pierre America Plotkin POOL-T POOL2 process creation programming language proof prove recursion reflexive domain equations Remark result resumption routine Rutten satisfies semantic models semantic universe send step sender standard objects statement variables subsets symbol table syntax theorem transition relation typical element unique fixed point