Automata, Languages and Programming
Subtitle: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Kim G. Larsen (Editor); Sven Skyum (Editor); Glynn Winskel (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 2, 1998
Language: eng
Format: Paperback
Number of pages: 932
ISBN-13: 9783540647812
Subjects: Computer Programming; Computer Science; Automata; Computer Programming Languages; Computers; Computers - Languages / Programming; Programming Languages - General; Computer Books: Database; Programming - General; Algorithms; Computers / Computer Science; Concurrency; Mathematical Logic; Networking; Programming; Computer Graphics - General
First sentence: Two brands of temporal logics have been proposed over the years for specifying the properties of reactive systems: the linear time brand LTL [GPSS80] and the branching time variant CTL [CE81].