Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming Deep Concurrent Constraint Combinators
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
A service-oriented language for programming mobile agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Encoding temporal logics in executable Z: a case study for the ZETA system
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
A mobile agent service-oriented scripting language encoded on a process calculus
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Hi-index | 0.00 |