The Collection of
Computer Science Bibliographies
Bibliography on the theory of concurrency
[ About | Browse | Statistics ]
| Number of references: | 1448 | Last update: | February 16, 2007 |
|---|
| Number of online publications: | 96 | Supported: | Unknown |
|---|
| Most recent reference: | 2004 |
| |
|---|
- Author:
- Frits W. Vaandrager <Frits . Vaandrager @ cwi . nl> (email mangled to prevent spamming)
CWI
Kruislaan 413
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
- Abstract:
-
This bibliography concerns theory of concurrency, in particular
- Specification and verification of concurrent, real-time and hybrid systems
- Automata-based verification methods
- Computer-aided verification
- Semantics of concurrent prgramming and specification languages
- Temporal and modal logics
- Types:
- inproceedings(504), article(328), techreport(216),
proceedings(120), book(92), phdthesis(68),
incollection(57), misc(44), manual(10), unpublished(6),
mastersthesis(3)
- Fields:
- title(1448), year(1441), author(1307), pages(785),
volume(696), booktitle(686), publisher(686),
editor(511), series(429), number(404), month(352),
journal(326), institution(221), address(180),
type(178), note(163), crossrefonly(121), key(83),
school(71), url(32), organization(13),
c-organization(11), howpublished(10), editors(6),
abstract(5), isbn(4), c-note(2), chapter(2),
edition(2), funding(2), other(2), tasks(2), annote(1)
- Distribution of publication dates:
-
