NAPAW 92

Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

252 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Workshops in Computing
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540198222
• Sprache: Englisch
• Erscheinungsdatum: 24.02.1993
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Amy Zwarico, S. Purushothaman