Output details
11 - Computer Science and Informatics
University of Aberdeen
Article title
A Logical and Computational Theory of Located Resource
Type
D - Journal article
Title of journal
Journal of Logic and Computation
Article number
-
Volume number
19
Issue number
6
First page of article
1207
ISSN of journal
0955-792X
Year of publication
2009
URL
-
Number of additional authors
2
Additional information
<11>A new theory of computational and discrete dynamical systems featuring state of a particular form is presented. This was inspired by practical experience of systems modelling and simulation in industry. Published in the leading journal for logic and its applications in computing, the theory now informs ongoing applied modelling work, particularly on information security. This on-going research includes work within the RCUK/TSB-funded Trust Domains project 2011-2014 (TS/I002502/1) and the EPSRC Algebra and Logic for Policy and Utility in Information Security project 2013-2017 (EP/K033042/1), in which we are working with Hewlett-Packard and National Grid.
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
-
