[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: CSP questions - priority

To: occam-com@xxxxxxxxxx
Subject: Re: CSP questions - priority
From: ael <lawrence_a_e@xxxxxxxxxxxx>
Date: Mon, 13 Mar 2017 12:18:47 +0000
Delivery-date: Mon, 13 Mar 2017 12:18:57 +0000
Envelope-to: ats@xxxxxxxxx
In-reply-to: <3F3612E9-199D-4A08-B63D-34481560547F@tjoccam.com>
List-help: <mailto:sympa@kent.ac.uk?subject=help>
List-id: <occam-com.kent.ac.uk>
List-owner: <mailto:occam-com-request@kent.ac.uk>
List-post: <mailto:occam-com@kent.ac.uk>
List-subscribe: <mailto:sympa@kent.ac.uk?subject=subscribe%20occam-com>
List-unsubscribe: <mailto:sympa@kent.ac.uk?subject=unsubscribe%20occam-com>
References: <3F3612E9-199D-4A08-B63D-34481560547F@tjoccam.com>
Reply-to: ael <lawrence_a_e@xxxxxxxxxxxx>
Sender: occam-com-request@xxxxxxxxxx
User-agent: NeoMutt/20170113 (1.7.2)

I sent Larry a copy of Bill's paper " The expressiveness of CSP with priority."

It is available from his home page at 
  http://www.cs.ox.ac.uk/files/7359/prisht.pdf
for anyone else who is interested and doesn't know about that recent
work on priority.

Adrian

References:
- CSP questions
  - From: Larry Dickson

Prev by Date: Re: CSP questions
Next by Date: Re: CSP questions
Previous by thread: Re: CSP questions
Index(es):
- Date
- Thread