Pages that link to "Item:Q3393379"
From MaRDI portal
The following pages link to Verifying Agents’ Conformance with Multiparty Protocols (Q3393379):
Displaying 6 items.
- Where logic and agents meet (Q657584) (← links)
- Exception diagnosis in multiagent contract executions (Q1926581) (← links)
- Specifying and verifying secrecy in workflows with arbitrarily many agents (Q1990507) (← links)
- Verifiable agent dialogues (Q2372183) (← links)
- The meeting businessmen problem: requirements and limitations (Q2443007) (← links)
- Computational Logic in Multi-Agent Systems (Q5706839) (← links)