On logical and concurrent equivalences

Publikationstyp
Conference Paper
Date Issued
2002-02-01
Sprache
English
Author(s)
Bradfield, Julian  
Fröschle, Sibylle B.  orcid-logo
TORE-DOI
10.15480/882.4047
TORE-URI
http://hdl.handle.net/11420/11326
Journal
Electronic notes in theoretical computer science  
Volume
52
Issue
1
Start Page
32
End Page
45
Citation
Electronic Notes in Theoretical Computer Science 52 (1): 32-45 (2002-02-01)
Contribution to Conference
EXPRESS '01, 8th International Workshop on Expressiveness in Concurrency (Satellite Event of CONCUR 2001)  
Publisher DOI
10.1016/S1571-0661(04)00215-4
Scopus ID
2-s2.0-8344260208
Publisher
Elsevier Science
We consider modal analogues of Hintikka et al.'s 'independence-friendly first-order logic', and discuss their relationship to equivalences previously studied in concurrency theory.
Subjects
Branching quantifiers
Concurrency
Independence
Modal logic
DDC Class
004: Informatik
More Funding Information
The rst author is supported by EPSRC Advanced Research Fellowship AF/100690; the second author is supported by EPSRC Research Grant GR/M84763 'Dimensions of Concurrency'.
Publication version
publishedVersion
Lizenz
https://creativecommons.org/licenses/by-nc-nd/3.0/
Loading...
Thumbnail Image
Name

1-s2.0-S1571066104002154-main.pdf

Size

325.71 KB

Format

Adobe PDF