Coordinating processes with secure spaces

This publication has 12 references indexed in Scilit:

• The JavaSeal mobile agent kernel
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Safe tuplespace-based coordination in multiagent systems
  Applied Artificial Intelligence, 2001
• KLAIM: a kernel language for agents interaction and mobility
  IEEE Transactions on Software Engineering, 1998
• A process algebraic view of Linda coordination primitives
  Theoretical Computer Science, 1998
• A calculus for cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1997
• TYPE INFERENCE AND SUBTYPING FOR HIGHER-ORDER GENERATIVE COMMUNICATION
  Published by World Scientific Pub Co Pte Ltd ,1996
• Eiffel Linda
  ACM SIGPLAN Notices, 1990
• Using tuple space communication in distributed object-oriented languages
  Published by Association for Computing Machinery (ACM) ,1988
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985
• Cryptographic sealing for information secrecy and authentication
  Communications of the ACM, 1982