Advertisement

NAPAW 92

Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

  • S. Purushothaman
  • Amy Zwarico
Conference proceedings

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Session 1

    1. Front Matter
      Pages 1-1
    2. Jens Chr. Godskesen, Kim G. Larsen
      Pages 3-12
    3. Luboš Brim
      Pages 13-26
    4. Damas P. Gruska, Andrea Maggiolo-Schettini
      Pages 27-40
  3. Session 2

    1. Front Matter
      Pages 41-41
    2. Hans Hansson, Fredrik Orava
      Pages 43-64
    3. Patrice Brémond-Grégoire, Susan Davidson, Insup Lee
      Pages 65-85
    4. F. S. de Boer, J. Coenen, R. Gerth
      Pages 86-100
  4. Session 3

    1. Front Matter
      Pages 101-101
    2. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
      Pages 103-118
    3. Bard Bloom, Robert Paige
      Pages 119-134
    4. Zvi Schreiber
      Pages 135-154
    5. Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
      Pages 155-173
  5. Session 4

    1. Front Matter
      Pages 175-175
    2. Paul C. Brown
      Pages 177-199
    3. R. J. Coelho da Costa, J.-P. Courtiat
      Pages 200-215
    4. J. C. M. Baeten
      Pages 231-240
  6. Back Matter
    Pages 241-243

About these proceedings

Keywords

Bisimulation algebra calculus computer computer science concurrency development formal methods process algebra real-time semantics simulation structured analysis testing verification

Editors and affiliations

  • S. Purushothaman
    • 1
  • Amy Zwarico
    • 2
  1. 1.Department of Computer Science, 333 Whitmore LaboratoryThe Pennsylvania State UniversityUniversity ParkUSA
  2. 2.Department of Computer ScienceThe Johns Hopkins UniversityBaltimoreUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-3217-2
  • Copyright Information Springer-Verlag London 1993
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19822-2
  • Online ISBN 978-1-4471-3217-2
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Engineering