Skip to main content
SpringerLink
Log in
Book cover

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. S. Abramsky
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. T. S. E. Maibaum
    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 494)

Included in the following conference series:

Conference proceedings info: TAPSOFT 1991.

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

Access this book

Log in via an institution
Softcover Book USD 54.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. CCS for OO and LP

    • J. W. de Bakker, E. P. de Vink
    Pages 1-28

  3. An extended expansion theorem

    • Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
    Pages 29-48

  4. Concurrent abstract machines

    • G Berry
    Pages 49-49

  5. Knowledge and probability in distributed systems: Abstract

    • Joseph Y. Halpern
    Pages 50-54

  6. Verification methods for finite systems

    • Ahmed Bouajjani, Joseph Sifakis
    Pages 55-57

  7. Interactive interworking for interoperating systems

    • H Weber
    Pages 58-59

  8. Formal specification of object systems

    • Ralf Jungclaus, Gunter Saake, Cristina Sernadas
    Pages 60-82

  9. On the relationship between algebraic module specifications and program modules

    • Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
    Pages 83-98

  10. Testing against formal specifications: A theoretical view

    • Gilles Bernot
    Pages 99-119

  11. Construction and reuse of formal program developments

    • J. Cazin, P. Cros, R. Jacquart, M. Lemoine, P. Michel
    Pages 120-136

  12. A theory of program modifications

    • G. Ramalingam, Thomas Reps
    Pages 137-152

  13. Proving termination of logic programs by exploiting term properties

    • A. Bossi, N. Cocco, M. Fabris
    Pages 153-180

  14. Parametric order-sorted types in logic programming

    • Michael Hanus
    Pages 181-200

  15. Exploiting non-determinism through laziness in guarded functional languages

    • Roland Dietrich, Hendrik C. R. Lock
    Pages 201-216

  16. Non-standard interpretations of LOTOS specifications

    • Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa
    Pages 217-234

  17. A new technique for strictness analysis

    • David A. Wright
    Pages 235-258

  18. Using higher order logic for modelling real-time protocols

    • Rachel Cardell-Oliver
    Pages 259-282

  19. Combining interaction and automation in process algebra verification

    • Albert Camilleri, Paola Inverardi, Monica Nesi
    Pages 283-296

  20. Refining interfaces of communicating systems

    • Ed Brinksma, Bengt Jonsson, Fredrik Orava
    Pages 297-312
Back to top

Other volumes

  1. TAPSOFT '91

Keywords

About this book

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Bibliographic Information

  • Book Title: TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

  • Book Subtitle: Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

  • Editors: S. Abramsky, T. S. E. Maibaum

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-53981-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-53981-0Published: 28 March 1991

  • eBook ISBN: 978-3-540-46499-0Published: 05 August 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 482

  • Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Applications of Mathematics

Publish with us

Policies and ethics

Back to top

Search

Navigation