A Logical and Computational Theory of Located Resource (2008)

by Matthew Collinson , Brian Monahan , David Pym
Citations:13 - 9 self

Documents Related by Co-Citation

17 Algebra and Logic for Resource-based Systems Modelling – Matthew Collinson, David Pym - 2009
50 Demos – discrete event modelling on Simula – G Birtwistle - 1979
15 Investments and Trade-offs in the Economics of Information Security – Christos Ioannidis, David Pym, Julian Williams, England U. K, England U. K
312 Calculi for synchrony and asynchrony – R Milner - 1983
47 Possible Worlds and Resources: The Semantics of BI – David J. Pym, Peter W. O'Hearn, Hongseok Yang - 2003
194 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999
16 Analysing the performance of security solutions to reduce vulnerability exposure window – Y Beres, J Griffin, S Shiu, M Heitman, D Markle, P Ventura - 2008
1258 Decisions with multiple objectives: Preferences and value tradeoffs. Cambridge Univ Pr – R L Keeney, H Raiffa - 1976
16 Semantics for Structured Systems Modelling and Simulation – Matthew Collinson, Brian Monahan, David Pym
9 A bayesian approach to real estate management – H Varian - 1974
7 Bayesian prediction and estimation using asymmetric loss functions – A Zellner - 1986
92 Modal and Temporal Properties of Processes – C Stirling - 2001
26 Inflation Targeting Under Asymmetric Preferences – F Ruge-Murcia - 2003
6 A discipline of mathematical systems modelling. To appear – M Collinson, B Monahan, D Pym - 2010
3219 Communication and Concurrency – R Milner - 1990
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
162 as an assertion language for mutable data structures – BI - 2001
100 The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Applied Logic Series – D J Pym - 2002
159 Why Information Security is Hard - An Economic Perspective – Ross Anderson - 2001