<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Dear Kostis,<br>
<br>
</div>
<blockquote
cite="mid:c5bb48b1-48bd-5948-74e8-4f6be5fb8f03@cs.ntua.gr"
type="cite">I would be interested in seeing a simple example
program containing a _concurrency_ error that can be detected by
McErlang but not by Concuerror. <br>
</blockquote>
<br>
Please have a look at the locker case-study presented in several of
our papers (see below). This case-study contains a server that
grants exclusive/shared access to resources. It is vaguely inspired
on some code in the AXD301. <br>
<br>
Starvation of a client requesting shared access to one resource
occurs when there are two clients requesting exclusive access to the
same resource, since exclusive access has priority over shared
access. We were able to find this already in 2004, and later on with
McErlang. Concuerror has been running now for more than 20 minutes
and still no answer so I cannot tell you whether it can find the
starvation problem or not.<br>
<br>
Best regards<br>
Clara <br>
<br>
<span itemprop="author" itemscope=""
itemtype="http://schema.org/Person"><a
href="http://dblp2.uni-trier.de/pers/hd/a/Arts:Thomas"
itemprop="url"><span itemprop="name">Thomas Arts</span></a></span>,
<span itemprop="author" itemscope=""
itemtype="http://schema.org/Person"><span class="this-person"
itemprop="name">Clara Benac Earle</span></span>, <span
itemprop="author" itemscope="" itemtype="http://schema.org/Person"><a
href="http://dblp2.uni-trier.de/pers/hd/d/Derrick:John"
itemprop="url"><span itemprop="name">John Derrick</span></a></span>:<br>
<span class="title" itemprop="name">Development of a verified Erlang
program for resource locking.</span> <a
href="http://dblp2.uni-trier.de/db/journals/sttt/sttt5.html#ArtsED04"><span
itemprop="isPartOf" itemscope=""
itemtype="http://schema.org/Periodical"><span itemprop="name">STTT</span></span>
<span itemprop="isPartOf" itemscope=""
itemtype="http://schema.org/PublicationVolume"><span
itemprop="volumeNumber">5</span></span>(<span
itemprop="isPartOf" itemscope=""
itemtype="http://schema.org/PublicationIssue"><span
itemprop="issueNumber">2-3</span></span>)</a>: <span
itemprop="pagination">205-220</span> (<span
itemprop="datePublished">2004</span>)<br>
<span itemprop="author" itemscope=""
itemtype="http://schema.org/Person"><br>
<a
href="http://dblp2.uni-trier.de/pers/hd/f/Fredlund:Lars==Aring=ke"
itemprop="url"><span itemprop="name">Lars-Åke Fredlund</span></a></span>,
<span itemprop="author" itemscope=""
itemtype="http://schema.org/Person"><span class="this-person"
itemprop="name">Clara Benac Earle</span></span>:
<div class="data" itemprop="headline"><span class="title"
itemprop="name">Model checking erlang programs: the functional
approach.</span> <a
href="http://dblp2.uni-trier.de/db/conf/erlang/erlang2006.html#FredlundE06"><span
itemprop="isPartOf" itemscope=""
itemtype="http://schema.org/Series"><span itemprop="name">Erlang
Workshop</span></span> <span itemprop="datePublished">2006</span></a>:
<span itemprop="pagination">11-19</span></div>
<br>
</body>
</html>