Output details
11 - Computer Science and Informatics
Queen's University Belfast
Return to search
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
-