Output details
11 - Computer Science and Informatics
University of Aberdeen
Article title
Algebra and Logic for Resource-based Systems Modelling
Type
D - Journal article
Title of journal
Mathematical Structures in Computer Science
Article number
-
Volume number
19
Issue number
5
First page of article
959
ISSN of journal
0960-1295
Year of publication
2009
URL
-
Number of additional authors
1
Additional information
<25>This paper builds on an outline that appeared in Plotkin's Festschrift, developing a substantial theoretical realization of the main ideas. It provides the core of a rigorous basis for a systems modelling technology that has been used extensively in services and security modelling engagements by HP Labs with HP's business units. A key innovation of the technology is to deploy the tools of logic and algebra, as developed in theoretical computer science, as modelling technologies in the style of classical applied mathematics. It is published in the leading journal for logic and its applications in computing.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
9
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
