Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994

• Other Authors: Birtwistle, Graham (Editor), Moller, Faron (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1996
• Series: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1043
• Subjects: LOGIC FOR CONCURRENCY; PROCEEDINGS; Υπολογιστική; ΕΣΑ; ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ; LNCS