Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Journal Articles Refereed uri icon

Overview

Published in

  • Computational Intelligence

Time

Date/time value

  • 2011

Identity

Digital Object Identifier (DOI)

  • 10.1111/j.1467-8640.2011.00387.x

Additional Document Info

Parent Title

  • Computational Intelligence

Volume

  • 27

Issue

  • 3

Publisher

  • Elsevier