عنوان
پدید آورنده
موضوع
رده
QA76.54 S687 1993
QA76
.
54
S687
1993
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387198229
(Number (ISBN
3540198229
(Number (ISBN
9780387198224
(Number (ISBN
9783540198222
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565399
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proceedings of the First North American Process Algebra Workshop :
General Material Designation
[Book]
Other Title Information
Stony Brook, New York, USA, 28 August 1992
First Statement of Responsibility
S. Purushothaman ... (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London ; Berlin <<>>
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
VIII, 240 Seiten : Diagramme.
SERIES
Series Title
Workshops in computing
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Prozessalgebra.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
54
Book number
S687
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
S. Purushothaman ... (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Sahasranaman Purushothaman
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
