Algebraic Methodology and Software Technology (AMAST'91): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993
Springer-Verlag, 1994 - Computers - 416 pages
The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope.
Each volume is based on the proceedings of a specialist workshop and is designed to provide information that represents a 'snapshot' of current knowledge, debate or research. Books in this series cover the broadest possible range of topics, subject only to the workshops being firmly established in computing and being of interest to the wider community.
To ensure timely publication, manuscripts are presented in the form in which they are submitted, immediacy being regarded as more important than perfect typographical accuracy.
Workshop organisers wishing to submit material for publication should, in the first instance, contact the Computing Editor at Springer-Verlag London Limited.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Opening Address by the Rector of the University of Twente
Relation Algebras for Reasoning About Time and Space
22 other sections not shown
abstract action algebraic specification algorithm application approach atoms axioms behaviour binary binary relations bisimulation Boolean algebra category theory channel commutative diagrams components composition Computer Science concurrent configuration consider constraint logic programs constraint system construction corresponding data types defined definition denoted derivation diagrams domain elements environment equations event example exec expression extension finite formal formula framework function functor given graph homomorphism implementation input interpretation isomorphic label lambda calculus LNCS machine methods modular system module morphism normal form notion object operational semantics order-sorted partial predicate Proc programming language proof Proposition recursive refinement relation algebra representation rewriting rules safety property satisfies sequence signature sort SPEC Springer Springer-Verlag structure subalgebra symbols synchronous Te(TV temporal logic theorem theory tion trace transition relation transition system type constructors universal algebra University variables verification