Communications of the ACM
Reasoning about knowledge: an overview
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Facilitating Mixed Language Programming in Distrbuted Systems
IEEE Transactions on Software Engineering
Interconnecting heterogeneous computer systems
Communications of the ACM
A simple system for constructing distributed, mixed-language programs
Software—Practice & Experience
Proxies: a software structure for accommodating heterogeneity
Software—Practice & Experience
A formal model of knowledge, action, and communication in distributed systems: preliminary report
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A Compositional Approach to Multiparadigm Programming
IEEE Software
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Integration Mechanisms in the FIELD Environment
Integration Mechanisms in the FIELD Environment
A software interconnection technology to support specification of computational environments (polylith, module interconnection language)
Hi-index | 0.00 |