Cantitate/Preț
Produs

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992: Workshops in Computing

Editat de S. Purushothaman, Amy Zwarico
en Limba Engleză Paperback – 24 feb 1993

Din seria Workshops in Computing

Preț: 31291 lei

Preț vechi: 39114 lei
-20% Nou

Puncte Express: 469

Preț estimativ în valută:
5991 6491$ 5003£

Carte tipărită la comandă

Livrare economică 12-26 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540198222
ISBN-10: 3540198229
Pagini: 252
Ilustrații: VIII, 243 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing

Locul publicării:London, United Kingdom

Public țintă

Research

Cuprins

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.