The following pages link to Computational Science – ICCS 2005 (Q5709755):
Displaying 8 items.
- Modelling resilient collaborative multi-agent systems (Q2030154) (← links)
- Agent coordination contexts for the formal specification and enactment of coordination and security policies (Q2432762) (← links)
- (Q3518997) (← links)
- Executable specification of open multi-agent systems (Q3550952) (← links)
- Specification and Verification of Multi-agent Systems (Q3576330) (← links)
- Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework (Q3613464) (← links)
- Mechanizing Mathematical Reasoning (Q5717461) (← links)
- A logical framework for reasoning about local and global properties of collective systems (Q6160774) (← links)