Introduction to AgentSpeak and Jason for Programming Multi-agent Systems (2) Dr Fuhua (Oscar) Lin SCIS Athabasca University June 19, 2009.
Roya Ensafi, Jong Chun Park, Deepak Kapur, and Jedidiah R. Crandall University of New Mexico, Dept. of Computer Science USENIX 2010.
The Mace Project Goal: simplify the development, research and deployment of Distributed Systems Presentation by: Chris Williams.
Introduction to AgentSpeak and Jason for Programming Multi-agent Systems (2)
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking
Distributed Shared Memory and Sequential Consistency.
Distributed Shared Memory and Sequential Consistency
