NAPAW 92

Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
Softcover Nachdruck of the original 1. Auflage 1993
ISBN: 978-3-540-19822-2
Verlag: Springer

Buch, Englisch, 243 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g

Reihe: Workshops in Computing

with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee. 65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth. 86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari. 103 Computing Ready Simulations Efficiently B. Bloom and R. Paige. 119 Verification of Value-Passing Systems Z. Schreiber.

Zielgruppe

Research

Autoren/Hrsg.

Zwarico, Amy

Purushothaman, S.

Fachgebiete

• Mathematik | Informatik Mathematik Algebra Homologische Algebra
• Mathematik | Informatik EDV | Informatik Informatik
• Mathematik | Informatik Mathematik Mathematische Analysis

Inhaltsverzeichnis

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.