For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

Queen's University Belfast

Return to search Previous output Next output
Output 0 of 0 in the submission
Article title

Communicating open systems

Type
D - Journal article
Title of journal
Artificial Intelligence
Article number
-
Volume number
186
Issue number
null
First page of article
38
ISSN of journal
0004-3702
Year of publication
2012
Number of additional authors
4
Additional information

<22>This paper is the first complete formal account of the concept of electronic institution. It aims to become the canonical reference for the concept. The paper is a rigorous (verified) specification of the concept in the language Z. It is a fundamental guide for any engineer wishing to implement infrastructures for the electronic institution concept.

The publication venue is the most prestigious journal on the area of artificial intelligence since 1970 with high impact in the field. At time of writing, the paper is the 17th most downloaded paper of the journal during the last 90 days.

Interdisciplinary
-
Cross-referral requested
-
Research group
B - Knowledge and Data Engineering (KDE)
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-