## 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 |

A Unified Approach | 24 |

B Steffen Univ Kiel | 52 |

Copyright | |

5 other sections not shown

### Other editions - View all

### Common terms and phrases

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