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

NAPAW 92

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

Editors:

  1. S. Purushothaman

    1. Department of Computer Science, 333 Whitmore Laboratory, The Pennsylvania State University, University Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Amy Zwarico

    1. Department of Computer Science, The Johns Hopkins University, Baltimore, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

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

Table of contents (14 papers)

  1. Front Matter

    Pages i-viii
    PDF

  2. Session 1

    1. Front Matter

      Pages 1-1
      PDF

    2. Real-Time Calculi and Expansion Theorems

      • Jens Chr. Godskesen, Kim G. Larsen
      Pages 3-12

    3. Modal Logics in Timed Process Algebras

      • LuboÅ¡ Brim
      Pages 13-26

    4. Process Communication Environment

      • Damas P. Gruska, Andrea Maggiolo-Schettini
      Pages 27-40

  3. Session 2

    1. Front Matter

      Pages 41-41
      PDF

    2. A Process Calculus with Incomparable Priorities

      • Hans Hansson, Fredrik Orava
      Pages 43-64

    3. CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities

      • Patrice Brémond-Grégoire, Susan Davidson, Insup Lee
      Pages 65-85

    4. Exception Handling in Process Algebra

      • F. S. de Boer, J. Coenen, R. Gerth
      Pages 86-100

  4. Session 3

    1. Front Matter

      Pages 101-101
      PDF

    2. Observation Trees

      • Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
      Pages 103-118

    3. Computing Ready Simulations Efficiently

      • Bard Bloom, Robert Paige
      Pages 119-134

    4. Verification of Value-Passing Systems

      • Zvi Schreiber
      Pages 135-154

    5. An Extension of the Testing Method for Processes Passing Infinite Values

      • Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
      Pages 155-173

  5. Session 4

    1. Front Matter

      Pages 175-175
      PDF

    2. Constructive Semantics

      • Paul C. Brown
      Pages 177-199

    3. A Causality-based Semantics for CCS

      • R. J. Coelho da Costa, J.-P. Courtiat
      Pages 200-215

    5. The Total Order Assumption

      • J. C. M. Baeten
      Pages 231-240

  6. Back Matter

    Pages 241-243
    PDF
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science, 333 Whitmore Laboratory, The Pennsylvania State University, University Park, USA

    S. Purushothaman

  • Department of Computer Science, The Johns Hopkins University, Baltimore, USA

    Amy Zwarico

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Search

Navigation