TY - JOUR
T1 - Communication in concurrent dynamic logic
AU - Peleg, David
PY - 1987/8
Y1 - 1987/8
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38149036753&partnerID=8YFLogxK
U2 - 10.1016/0022-0000(87)90035-3
DO - 10.1016/0022-0000(87)90035-3
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:38149036753
SN - 0022-0000
VL - 35
SP - 23
EP - 58
JO - Journal of Computer and System Sciences
JF - Journal of Computer and System Sciences
IS - 1
ER -