A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Communication in concurrent dynamic logic
1987
Journal of computer and system sciences (Print)
Communication mechanisms are introduced into the program schemes of Concurrent Dynamic Logic, on both the propositional and the first-order levels. The elfects 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. 'i?
doi:10.1016/0022-0000(87)90035-3
fatcat:elhd7uafdvbrdlz52jruzrxf2u