Logics for concurrency
Subtitle: structure versus automata
By: Faron Moller, Graham Birtwistle, eds.
Contributors: Moller, Faron, 1962-; Birtwistle, G. M.
Series: Lecture notes in computer science ;; 1043
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 266
Subjects: Electronic data processing -- Distributed processing; Parallel processing (Electronic computers)
Notes: Includes bibliographical references.