• Genere: Libro
  • Lingua: Inglese
  • Editore: Springer
  • Pubblicazione: 02/1993
  • Edizione: Softcover reprint of the original 1st ed. 1993

NAPAW 92

;

54,98 €
52,23 €
AGGIUNGI AL CARRELLO


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

ALTRE INFORMAZIONI
  • Condizione: Nuovo
  • ISBN: 9783540198222
  • Collana: Workshops in Computing
  • Dimensioni: 235 x 155 mm
  • Formato: Brossura
  • Illustration Notes: VIII, 243 p.
  • Pagine Arabe: 243
  • Pagine Romane: viii