<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />

  TITLE:    <em>Geometry in Concurrency: Detecting Deadlocks in Concurrent Systems</em> <p>

  SPEAKER:  Lisbeth Fajstrup and Martin Raussen, Department of Mathematical Sciences, Aalborg University<p>

  DATE: Friday, 23 April 1999<p>

  PLACE and TIME: Room E3-209 at 14:00. <p>

  ABSTRACT:  <p>

  Several people have suggested geometric/topological models to
  "view" concurrent behaviour. A common feature for those is the
  structure of a higher-dimensional complex together with a (local)
  partial order induced by the irreversibility of time. In particular,
  all relevant execution paths in these models have to respect this
  partial order.<p>
  
  In this talk, we explain a geometric perspective on the detection of
  deadlocking states for ``mutual exclusion models'', and moreover on
  the detection of the associated ``unsafe regions'' which consist of
  the states that will eventually lead to a deadlocking state. The
  geometric considerations led to a new algorithm that seems to
  compare well with known traversing techniques.<p>
  
  If time permits, we shall explain how geometric/topological ideas
  can be used in the classification of traces/schedules in a
  distributed system, in particular to serializability, and to an
  analysis of decision tasks and asynchronous computability.<p>