Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

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)

Editors: Abramsky, S., Maibaum, T.S.E. (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46499-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-53981-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (27 chapters)

Table of contents (27 chapters)
  • CCS for OO and LP

    Pages 1-28

    Bakker, J. W. (et al.)

  • An extended expansion theorem

    Pages 29-48

    Ferrari, Gian Luigi (et al.)

  • Concurrent abstract machines

    Pages 49-49

    Berry, G

  • Knowledge and probability in distributed systems: Abstract

    Pages 50-54

    Halpern, Joseph Y.

  • Verification methods for finite systems

    Pages 55-57

    Bouajjani, Ahmed (et al.)

Buy this book

eBook $99.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46499-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-53981-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Series Volume
494
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46499-0
DOI
10.1007/3-540-53981-6
Softcover ISBN
978-3-540-53981-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 482
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.