[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. [...]