Bibliography on the theory of concurrency

[   About   |  Browse   |   Statistics   ]

Number of references:	1425	Last update:	October 17, 2003
Number of online publications:	40	Supported:	Unknown
Most recent reference:	2004

Search the bibliography

Information on the Bibliography

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

Browsing the bibliography

• Original source:

  http://www.cs.kun.nl... (abbreviations.bib dbase.bib) (Format: bibtex)

  Other sites:

  ftp://ftp.cwi.nl... (abbreviations.bib dbase.bib) (Format: bibtex)
  

Bibliographic Statistics

Types:

inproceedings(493), article(326), techreport(211), proceedings(117), book(91), phdthesis(68), incollection(56), misc(44), manual(10), unpublished(6), mastersthesis(3)

Fields:

title(1425), year(1418), author(1287), pages(773), volume(682), booktitle(671), publisher(671), editor(497), series(418), number(398), month(347), journal(324), institution(216), address(178), type(175), note(170), crossrefonly(120), key(83), school(71), url(25), organization(13), c-organization(11), howpublished(10), abstract(5), editors(4), other(3), c-note(2), chapter(2), edition(2), funding(2), tasks(2), annote(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.