MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Asynchronous Communication Model for Distributed Concurrent Objects
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
A Theory of Distributed Objects
A Theory of Distributed Objects
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Activity pre-scheduling for run-time optimization of grid workflows
Journal of Systems Architecture: the EUROMICRO Journal
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
A framework for reasoning on component composition
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Ambient-Oriented programming in ambienttalk
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Efficient and fully abstract routing of futures in object network overlays
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Hi-index | 0.03 |