Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

NAPAW 92

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

  • Conference proceedings
  • © 1993

Overview

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.)

  • 531 Accesses

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy 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

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (14 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Session 1

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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

    4. A π-calculus Semantics of Logical Variables and Unification

      • Brian J. Ross
      Pages 216-230

    5. The Total Order Assumption

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

  6. Back Matter

    Pages 241-243
    Download chapter PDF
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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation