Purushothaman / Zwarico | NAPAW 92 | E-Book | sack.de
E-Book

E-Book, Englisch, 243 Seiten, eBook

Reihe: Workshops in Computing

Purushothaman / Zwarico NAPAW 92

Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
Erscheinungsjahr 2012
ISBN: 978-1-4471-3217-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, 243 Seiten, eBook

Reihe: Workshops in Computing

ISBN: 978-1-4471-3217-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Purushothaman / Zwarico NAPAW 92 jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Purushothaman, S.
Zwarico, Amy

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.