A Logical and Computational Theory of Located Resource

Authors:
Matthew Collinson;Brian Monahan;David Pym
Affiliations:
-;-;-
Venue:
Journal of Logic and Computation
Year:
2009

Citing 0
Cited 3

Semantics for structured systems modelling and simulation

Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Rational security: Modelling everyday password use

International Journal of Human-Computer Studies
A framework for modelling security architectures in services ecosystems

ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the recent years, several formal approaches to the specification of normative multi-agent systems (MASs) and artificial institutions have been proposed. The aim of this article is to advance the state of the art in this area by proposing an approach ...