NAPAW 92

Beschreibung

Zur Zeit liegt uns keine Inhaltsangabe vor. Klappentext Zur Zeit liegt uns keine Inhaltsangabe vor. Inhalt Session 1.- Real-Time Calculi and Expansion Theorems (Extended Abstract).- Modal Logics in Timed Process Algebras.- Process Communication Environment.- ...

Format auswählen

E-Book (pdf)CHF 59.90
Kartonierter EinbandCHF 112.80

E-Book (pdf)

CHF59.90

Kartonierter Einband

CHF112.80

CHF59.90

Download steht sofort bereit

Kein Rückgaberecht

Beschreibung

Zur Zeit liegt uns keine Inhaltsangabe vor.

Klappentext

Zur Zeit liegt uns keine Inhaltsangabe vor.

Inhalt

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.