Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1989

Algebraic Methods: Theory, Tools and Applications

Editors:

  1. Martin Wirsing
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan A. Bergstra
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 394)

Sections

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

  1. Front Matter

    PDF

  2. Introduction

    • Martin Wirsing, Jan A. Bergstra
    Pages 1-4

  4. How to make algebraic specifications more understandable?

    • M. Bidoit, M.-C. Gaudel, A. Mauboussin
    Pages 31-67

  6. An integrated algebraic approach to the specification of data types, processes and objects

    • E. Astesiano, A. Giovini, G. Reggio, E. Zucca
    Pages 91-116

  7. Software specification by behavioural canons

    • Horst Reichel
    Pages 117-135

  8. An introduction to COLD-K

    • H. B. M. Jonkers
    Pages 137-205

  9. A formal specification of INGRES

    • W. E. Baats, L. M. G. Feijs, J. H. A. Gelissen
    Pages 207-245

  10. The logic MPLω

    • C. P. J. Koymans, G. R. Renardel de Lavalette
    Pages 247-282

  11. Description algebra

    • H. B. M. Jonkers
    Pages 283-305

  12. The calculus λπ

    • L. M. G. Feijs
    Pages 307-328

  13. The RAP system as a tool for testing COLD specifications

    • Heinrich Hussmann, Alfons Geser
    Pages 329-345

  17. ACPÏ„ a universal axiom system for process specification

    • J. A. Bergstra, J. W. Klop
    Pages 445-463

  18. Modular specifications in process algebra

    • Rob van Glabbeek, Frits Vaandrager
    Pages 465-506

  20. Back Matter

    PDF
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation