CONCUR '98 Concurrency Theory
Subtitle: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Davide Sangiorgi (Editor); Robert de Simone (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 18, 1998
Language: eng
Format: Paperback
Number of pages: 655
ISBN-13: 9783540648963
Subjects: Compilers & interpreters; Programming languages; Logic Design; Functional Programming; Computers; Computers - General Information; Programming Languages - General; Computer Books: Languages; Programming - General; Data Processing - Parallel Processing; Computers / Logic Design; Concurrency CalcuLi; Linear Time Logics; Process Algebras; Real-Time Systems; Type Systems
First sentence: Temporal logics, which arc modal logics geared towards the description of the temporal ordering of events, have been adopted as a powerful tool for specifying and verifying concurrent programs [36].