Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR), Volume 32 Issue 1, March 2000

Temporal logics for real-time system specification
P. Bellini, R. Mattolini, P. Nesi
Pages: 12-42
DOI: 10.1145/349194.349197
The specification of reactive and real-time systems must be supported by formal, mathematically-founded methods in order to be satisfactory and reliable. Temporal logics have been used to this end for several years. Temporal logics allow the...

Programming languages and systems for prototyping concurrent applications
Wilhelm Hasselbring
Pages: 43-79
DOI: 10.1145/349194.349199
Concurrent programming is conceptually harder to undertake and to understand than sequential programming, because a programmer has to manage the coexistence and coordination of multiple concurrent activities. To alleviate this task several...

A brief history of cellular automata
Palash Sarkar
Pages: 80-107
DOI: 10.1145/349194.349202
Cellular automata are simple models of computation which exhibit fascinatingly complex behavior. They have captured the attention of several generations of researchers, leading to an extensive body of work. Here we trace a history of cellular...