The following pages link to (Q3518997):
Displaying 5 items.
- Agent coordination contexts for the formal specification and enactment of coordination and security policies (Q2432762) (← links)
- Formal specification of multi-agent e-barter systems (Q2485279) (← links)
- A formal framework for interactive agents (Q2864512) (← links)
- FSP and FLTL framework for specification and verification of middle-agents (Q3016270) (← links)
- Objects, Agents, and Features (Q5713983) (← links)