## TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

J Diaz Barcelona | 5 |

W Szpankowski Purdue Univ | 24 |

S Ronchi della Rocca Univ Torino | 37 |

Copyright | |

6 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract data types abstract interpretations abstract semantics abstractor actions algebra semantics algebraic specification algorithm axioms behaviour bhfunct bisimulation bool boolean branching programs buffer calculus chain combinators complete Computer Science concurrent system COND construction constructor corresponding decision tree defined definition denote Ehrig equations equivalence event structures example exists finite formal formula fully abstract fully abstract model function functor given implementation implies infinite initial algebra interpretation Kripke structure labelled language Lemma LNCS module specification morphism natural numbers nodes noetherian notation notion observational obtain operational semantics optimal PAlg(E parallel composition parameter parameterised specifications parameterized partial composition partial order pflag preorder Proc processes proof properties proposition prove pushout recursive result rooted tree satisfies sequence sequential signature SMoLCS Spec(E specification morphism stream-sets subcomponents suffix synchronization TCCS Theorem theory transition relation transition system type scheme variables