Table of contents

  1. Front Matter
  2. J. W. de Bakker, E. P. de Vink
    Pages 1-28
  3. Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
    Pages 29-48
  4. G Berry
    Pages 49-49
  5. Ahmed Bouajjani, Joseph Sifakis
    Pages 55-57
  6. Ralf Jungclaus, Gunter Saake, Cristina Sernadas
    Pages 60-82
  7. Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
    Pages 83-98
  8. J. Cazin, P. Cros, R. Jacquart, M. Lemoine, P. Michel
    Pages 120-136
  9. G. Ramalingam, Thomas Reps
    Pages 137-152
  10. A. Bossi, N. Cocco, M. Fabris
    Pages 153-180
  11. Roland Dietrich, Hendrik C. R. Lock
    Pages 201-216
  12. Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa
    Pages 217-234
  13. David A. Wright
    Pages 235-258
  14. Albert Camilleri, Paola Inverardi, Monica Nesi
    Pages 283-296
  15. Ed Brinksma, Bengt Jonsson, Fredrik Orava
    Pages 297-312
  16. J. -J. Ch. Meyer, R. J. Wieringa
    Pages 337-357
  17. J. Cramer, W. Fey, M. Goedicke, M. Große-Rhode
    Pages 358-378
  18. Srećko Brlek, Pierre Castéran, Robert Strandh
    Pages 379-393
  19. Bernhard Steffen, Jens Knoop, Oliver Rüthing
    Pages 394-415
  20. David de Frutos-Escrig, María-Inés Fernández-Camacho
    Pages 416-437

About these proceedings


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.


Software Engineering inheritance linear optimization logic modeling object operating system programming structured design verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53981-0
  • Online ISBN 978-3-540-46499-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site