Logics for concurrency : structure versus automata
Author(s)
Bibliographic Information
Logics for concurrency : structure versus automata
（Lecture notes in computer science, 1043）
Springer-Verlag, c1996
Available at / 63 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||104396013577
-
University of Tsukuba Library, Library on Library and Information Science
007.08:L-49:1043961001010
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
"a result of the VIIIth Banff HIGHER ORDER WORKSHOP held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada."- on Preface
"LNCS Tutorial"- on jacket