Communication in concurrent dynamic logic

David Peleg

Research output: Contribution to journalArticlepeer-review

36 Scopus citations


Communication mechanisms are introduced into the program schemes of Concurrent Dynamic Logic, on both the propositional and the first-order levels. The effects of these mechanisms (particularly, channels, shared variables, and "message collectors") on issues of expressiveness and decidability are investigated. In general, we find that both respects are dominated by the extent to which the capabilities of synchronization and (unbounded counting are enabled in the communication scheme.

Original languageEnglish
Pages (from-to)23-58
Number of pages36
JournalJournal of Computer and System Sciences
Issue number1
StatePublished - Aug 1987
Externally publishedYes


Dive into the research topics of 'Communication in concurrent dynamic logic'. Together they form a unique fingerprint.

Cite this