A Formal Semantics for Brahms

First Author: Stocker R
Attributed to:  Verifying Interoperability Requirements in Pervasive Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-22359-4_18

Publication URI: http://dx.doi.org/10.1007/978-3-642-22359-4_18

Type: Book Chapter

Book Title: Computational Logic in Multi-Agent Systems (2011)

Page Reference: 259-274

ISBN: 978-3-642-22358-7

ISSN: 2731-5525