<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>Bibliography on Modelling Concurrent Systems</title>
<link rel="stylesheet" href="../bibliography.css" type="text/css" />
<link rev="made" href="mailto:liinwwwa@ira.uka.de" />
<link rel="copyright" href="../Copyright.html" />
<link rel="up" href="index.html" />
<link rel="home" href="../index.html" />
<link rel="top" href="../index.html" />
<meta name="description" content="Bibliography on Modelling Concurrent Systems. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="DC.DESCRIPTION" content="Bibliography on Modelling Concurrent Systems. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="keywords" content="searchable bibliography, computer science, RSS, 
" />
<meta name="DC.SUBJECT" content="searchable bibliography, computer science, RSS, 
" />
<meta name="robots" content="noarchive,nofollow" />
<meta name="resource-type" content="document" />
<meta name="distribution" content="global" />
<meta name="copyright" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.COPYRIGHT" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Paul Ortyl" />
</head>
<body>
<h1 class="page_title">The Collection of<br />Computer Science Bibliographies</h1><ul class="top_nav"><li><a href="../index.html" title="Home page of The Collection of Computer Science Bibliographies">Collection Home</a></li>
<li><a href="index.html">Up: Bibliographies on Software/Hardware Engineering and Formal Methods</a></li>
</ul>
<h1 class="subcollectiontitle">Bibliography on Modelling Concurrent Systems</h1>
<p style="text-align:center; font-size:small">[ &nbsp; <a href="#about">About</a> &nbsp; | &nbsp;<a href="#browse">Browse</a> &nbsp; | &nbsp; <a href="#stats">Statistics</a> &nbsp; ]</p><table width="100%" cellpadding="0"><colgroup span="4" width="1*" /><tr><th align="right">Number of references:</th><td align="left">572</td><th align="right">Last update:</th><td align="left">May 4, 2005</td></tr><tr><th align="right">Number of online publications:</th><td align="left">198</td><th align="right">Supported:</th><td align="left">Unknown</td></tr><tr><th align="right">Most recent reference:</th><td align="left">2005</td>
<th> </th><td> </td></tr></table>

<!-- short form -->
<!-- short search form -->
<h2 class="h2bar"><a id="about">Information on the Bibliography</a></h2>
<dl>
<dt><strong>Author:</strong></dt>
<dd><a href="http://www4.in.tum.de/~leucker/">Martin Leucker</a> &lt;leucker @ in . tum . de&gt; <i>(email mangled to prevent spamming)</i><br />
<a href="http://www4.in.tum.de/">Institute for Informatics I4</a><br /> TU Munich<br /> Germany
</dd><dt><strong>Abstract:</strong></dt><dd>
This is the literature database of the Modelling Concurrent Systems Group of Chair of Computer Science II at RWTH Aachen</dd>
<dt><strong>Author Comments:</strong></dt><dd>
The database is maintained by Martin Leucker. If you find any errors or want to add a certain reference, please, don't hesitate to contact me.</dd>

</dl>
<h2 class="h2bar"><a id="browse">Browsing the bibliography</a></h2>
<ul><li><dl>
<dt><strong>Original source:</strong></dt>
<dd><a href="http://www4.in.tum.de/~leucker/lit.bib">http://www4.in.tum.de</a>...
(Format: bibtex) 
</dd></dl></li></ul>
<h2 class="h2bar"><a id="stats">Bibliographic Statistics</a></h2>
<dl>
<dt><strong>Types:</strong></dt>
<dd>inproceedings(226), article(118), book(67),
incollection(58), techreport(47), unpublished(17),
 mastersthesis(10), phdthesis(9), inbook(7), misc(6),
 proceedings(4), manual(2), booklet(1)</dd><dt><strong>Fields:</strong></dt>
<dd>title(572), year(567), author(551), pages(346),
volume(316), publisher(298), booktitle(295),
 month(187), series(172), editor(162), address(145),
 url(135), journal(119), number(106), postscript(85),
 keywords(70), abstract(69), issn(61), location(57),
 note(54), isbn(53), coden(51), bibdate(50),
 institution(47), acknowledgement(40), annote(39),
 chapter(39), key(23), pdf(23), references(23),
 organization(20), school(19), classification(12),
 day(10), edition(10), corpsource(9), type(9), scope(8),
 treatment(8), descriptor(7), pubcountry(7), subject(7),
 conflocation(6), language(6), keyword(5), mrclass(5),
 mrnumber(5), mrnumber-url(5), lccn(4), abstract-url(3),
 cr-category(3), journalabr(3), seealso(3), added(2),
 affiliation(2), affiliationaddress(2), conftitle(2),
 notes(2), refkey(2), xxx-references(2), area(1),
 available(1), by_date(1), by_rev(1),
 citeseer-isreferencedby(1), classcodes(1), comment(1),
 confyear(1), country(1), cr-categories(1), crossref(1),
 crossrefonly(1), date(1), department(1), descr(1),
 descriptors(1), enum(1), general-terms(1),
 howpublished(1), isbn_issn(1), issue(1), oai(1),
 optedition(1), optnote(1), optyear(1), owner(1),
 preface(1), ps(1), review(1), revision(1), rights(1),
 siehe_auch(1), teditor(1), topic(1)</dd><dt><strong>Distribution of publication dates:</strong></dt>
<dd style="text-align:center">
<object data="modelling.concurrent.systems.years.stats.svgz" type="image/svg+xml" width="800" height="400" style="width: 80ex; height: 40ex;">
<img src="modelling.concurrent.systems.years.stats.png" alt="Distribution of publication dates" title="Distribution of publication dates" />
</object></dd>
</dl>
<p class="footer">
<a href="http://liinwww.ira.uka.de/bibliography/Copyright.html">Copyright</a> &copy; 1995-2008 Alf-Christian Achilles, All rights reserved.
<br />
This service is brought to you by
<a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a> 
and <a href="http://3miasto.net.pl/~ortylp">Paul Ortyl</a>
<br />
Please direct <a href="http://liinwww.ira.uka.de/bibliography/Comments.html" title="Send your comments via form.">comments</a> 
to <kbd><a href="mailto:liinwwwa@ira.uka.de" title="Send your comments via email.">liinwwwa@ira.uka.de</a></kbd>
</p>

<p>
<a href="http://validator.w3.org/check?uri=referer"><img src="/valid-xhtml11.png" alt="Valid XHTML 1.1!" /></a>&nbsp;
<a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="/vcss.png" alt="Valid CSS!" /></a>
</p>
</body>
</html>
