PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS

✍ Scribed by Tim Miller; Peter McBurney

• Book ID: 110984070
• Publisher: John Wiley and Sons
• Year: 2011
• Tongue: English
• Weight: 411 KB
• Volume: 27
• Category: Article
• ISSN: 0824-7935
• DOI: 10.1111/j.1467-8640.2011.00387.x