Buch, Englisch, 243 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g
Reihe: Workshops in Computing
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
Buch, Englisch, 243 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19822-2
Verlag: Springer
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.
Fachgebiete
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.
