Concurrent dynamic logic Export

@article{citeulike:6072735, abstract = {In this paper concurrent dynamic logic (CDL) is introduced as an extension of dynamic logic tailored toward handling concurrent programs. Properties of CDL are discussed, both on the propositional and first-order level, and the extension is shown to possess most of the desirable properties of DL. Its relationships with the \&mgr;-calculus, game logic, DL with recursive procedures, and PTIME are further explored, revealing natural connections between concurrency, recursion, and alternation.}, address = {New York, NY, USA}, author = {Peleg, David}, citeulike-article-id = {6072735}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=23008}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/23005.23008}, doi = {10.1145/23005.23008}, issn = {0004-5411}, journal = {J. ACM}, number = {2}, pages = {450--479}, posted-at = {2009-11-05 09:20:06}, priority = {2}, publisher = {ACM}, title = {Concurrent dynamic logic}, url = {http://dx.doi.org/10.1145/23005.23008}, volume = {34}, year = {1987} }

TY - JOUR ID - citeulike:6072735 L3 - citeulike-article-id:6072735 N2 - In this paper concurrent dynamic logic (CDL) is introduced as an extension of dynamic logic tailored toward handling concurrent programs. Properties of CDL are discussed, both on the propositional and first-order level, and the extension is shown to possess most of the desirable properties of DL. Its relationships with the &mgr;-calculus, game logic, DL with recursive procedures, and PTIME are further explored, revealing natural connections between concurrency, recursion, and alternation. IS - 2 JF - J. ACM SN - 0004-5411 AD - New York, NY, USA EP - 479 TI - Concurrent dynamic logic PB - ACM VL - 34 SP - 450 AU - Peleg, David PY - 1987/// UR - http://dx.doi.org/10.1145/23005.23008 ER -