Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

1st NAPAW 1992: Stony Brook, NY, USA

> Home > Conferences and Workshops > NAPAW

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/napaw/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/1992
S. Purushothaman, Amy E. Zwarico:
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19822-9
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/GodskesenL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/GodskesenL92
Jens Chr. Godskesen, Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems. 3-12
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/Brim92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/Brim92
Lubos Brim:
Modal Logics in Timed Process Algebras. 13-26
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/GruskaM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/GruskaM92
Damas P. Gruska, Andrea Maggiolo-Schettini:
Process Communication Environment. 27-40
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/HanssonO92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/HanssonO92
Hans Hansson, Fredrik Orava:
A Process Calculus with Incomparable Priorities. 43-64
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/Bremond-GregoireDL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/Bremond-GregoireDL92
Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee:
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. 65-85
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/BoerCG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/BoerCG92
Frank S. de Boer, J. Coenen, Rob Gerth:
Exception Handling in Process Algebra. 86-100
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/DeganoNM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/DeganoNM92
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Observation Trees. 103-118
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/BloomP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/BloomP92
Bard Bloom, Robert Paige:
Computing Ready Simulations Efficiently. 119-134
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/Schreiber92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/Schreiber92
Zvi Schreiber:
Verification of Value-Passing Systems. 135-154
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/YuenSI92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/YuenSI92
Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki:
An Extension of the Testing Method for Processes Passing Infinite Values. 155-173
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/Brown92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/Brown92
Paul C. Brown:
Constructive Semantics. 177-199
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/CostaC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/CostaC92
Rosvelter João Coelho da Costa, Jean-Pierre Courtiat:
A Causality-based Semantics for CCS. 200-215
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/Ross92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/Ross92
Brian J. Ross:
A π-calculus Semantics of Logical Variables and Unification. 216-230
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/Baeten92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/Baeten92
Jos C. M. Baeten:
The Total Order Assumption. 231-240

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.