|
" Proceedings of the First North American Process Algebra Workshop : "
S. Purushothaman ... (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745450
|
| Doc. No
|
:
|
b565399
|
| Main Entry
|
:
|
S. Purushothaman ... (eds.).
|
| Title & Author
|
:
|
Proceedings of the First North American Process Algebra Workshop : : Stony Brook, New York, USA, 28 August 1992\ S. Purushothaman ... (eds.).
|
| Publication Statement
|
:
|
London ; Berlin <<>> : Springer, 1993
|
| Series Statement
|
:
|
Workshops in computing
|
| Page. NO
|
:
|
VIII, 240 Seiten : Diagramme.
|
| ISBN
|
:
|
0387198229
|
|
|
:
|
: 3540198229
|
|
|
:
|
: 9780387198224
|
|
|
:
|
: 9783540198222
|
| Contents
|
:
|
Session 1.- Real-Time Calculi and Expansion Theorems (Extended Abstract).- Modal Logics in Timed Process Algebras.- Process Communication Environment.- Session 2.- A Process Calculus with Incomparable Priorities.- CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.- Exception Handling in Process Algebra.- Session 3.- Observation Trees (Extended Abstract).- Computing Ready Simulations Efficiently.- Verification of Value-Passing Systems.- An Extension of the Testing Method for Processes Passing Infinite Values.- Session 4.- Constructive Semantics.- A Causality-based Semantics for CCS.- A ?-calculus Semantics of Logical Variables and Unification.- The Total Order Assumption.- Author Index.
|
| Subject
|
:
|
Prozessalgebra.
|
| LC Classification
|
:
|
QA76.54S687 1993
|
| Added Entry
|
:
|
Sahasranaman Purushothaman
|
| |