Tong Zhang, G.H. Golub, et al.
Linear Algebra and Its Applications
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. © 1987.
Tong Zhang, G.H. Golub, et al.
Linear Algebra and Its Applications
A. Grill, B.S. Meyerson, et al.
Proceedings of SPIE 1989
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Jianke Yang, Robin Walters, et al.
ICML 2023