Archive for December 10th, 2008

[Concurrency] Temporal logic formula conflict detection

This is a multi-part message in MIME format. –===============0953615353== Content-class: urn:content-classes:message Content-Type: multipart/alternative; boundary=”—-_=_NextPart_001_01C95AD2.B0C29F89″ This is a multi-part message in MIME format. ——_=_NextPart_001_01C95AD2.B0C29F89 Content-Type: text/plain; charset=”us-ascii” Content-Transfer-Encoding: quoted-printable Hello, =20 I would like to ask if you are aware of some research work regarding conflict detection between properties that are written as temporal logic formula. [...]

(PN) last Call for Papers: ACSD 09 — new submission deadline

[apologies for multiple postings] *** LAST CALL FOR PAPERS *** ACSD 2009 9th International Conference on Application of Concurrency to System Design 1-3 July 2009 University of Augsburg, Germany acsd[at]informatik[dot]uni-augsburg[dot]de http://www.informatik.uni-augsburg.de/acsd/ *** Paper deadline: 10 January 2009 *** (CHANGED) *** Deadline for abstracts: 4 January 2009 *** submission: http://www.easychair.org/conferences/?conf=acsd09 Notification of acceptance: 10 March 2009 [...]