论文信息 - On Logical and Concurrent Equivalences

On Logical and Concurrent Equivalences

Abstract 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.

Sibylle B. Fröschle | Julian C. Bradfield

[1] Wilfrid Hodges,et al. Compositional Semantics for a Language of Imperfect Information , 1997, Log. J. IGPL.

[2] J. Hintikka. A Revolution in Logic , 1998 .

[3] Sibylle B. Fröschle,et al. On Plain and Hereditary History-Preserving Bisimulation , 1999 .

[4] Julian C. Bradfield,et al. Independence: Logics and Concurrency , 2000, CSL.

[5] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[6] Glynn Winskel,et al. Bisimulation from Open Maps , 1994, Inf. Comput..

[7] Sibylle B. Fröschle,et al. On Plain and Hereditary History-Preserving Bisimulation , 1999, MFCS.

[8] Ursula Goltz,et al. Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) , 1989, MFCS.