Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency
مؤلفون آخرون: Rozenberg, Grzegorz, Bakker, J. W. de (Jacobus Willem de), 1939-, Roever, W.-P. de, 1943-
التنسيق: وقائع المؤتمر كتاب
اللغة:English
منشور في: Berlin ; New York : Springer-Verlag, c1989.
سلاسل:Lecture notes in computer science ; 354.
الموضوعات:
Parallel processing (Electronic computers)
Electronic data processing > Distributed processing.
الوصف
وصف المادة:"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.
وصف مادي:viii, 713 p. : ill. ; 25 cm.
بيبلوغرافيا:Includes bibliographical references.
ردمك:038751080X

مواد مشابهة