A Logical and Computational Theory of Located Resource (2008)

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

Active Bibliography

Resume – Sumanta Guha
9 Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic – David Pym, Chris Tofts
GDP Festschrift ENTCS, to appear Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic – David Pym, Chris Tofts
Approved for External Publication © Copyright 2009 Hewlett-Packard Development Company – Matthew Collinson, David Pym, Matthew Collinson, David Pym, Systems Security Lab - 2009
17 Algebra and Logic for Resource-based Systems Modelling – Matthew Collinson, David Pym - 2009
Under consideration for publication in Math. Struct. in Comp. Science Algebra and Logic for Resource-based Systems Modelling – unknown authors - 2007
16 Semantics for Structured Systems Modelling and Simulation – Matthew Collinson, Brian Monahan, David Pym
15 A calculus and logic of resources and processes – David Pym, Chris Tofts - 2006
Information Stewardship in the Cloud: A Model-based Approach – David Pym, Martin Sadler, Simon Shiu, Marco Casassa Mont
1 Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach – Jonathan Griffin, Brian Monahan, David Pym, Mike Wonham, Mike Yearworth, Jonathan Griffin, Brian Monahan, David Pym, Mike Wonham, Mike Yearworth - 2007
3 STRUCTURED SYSTEMS ECONOMICS FOR SECURITY MANAGEMENT – Adam Beautement, David Pym
FOOTPRINTS IN LOCAL REASONING – unknown authors - 903
57 Bi hyperdoctrines, higher-order separation logic, and abstraction – Bodil Biering, Lars Birkedal, Noah Torp-Smith - 2005
9 Footprints in Local Reasoning – Mohammad Raza
THE STRUCTURE AND DYNAMICS OF SYSTEMS SECURITY ECONOMICS – Adam Beautement, David Pym
3 Classical logic of bunched implications – James Brotherston, Cristiano Calcagno - 2008
4 Formalised inductive reasoning in the logic of bunched implications – James Brotherston - 2007
2 CLASSICAL BI: ITS SEMANTICS AND PROOF THEORY – James Brotherston, Cristiano Calcagno
1 A Theorem Prover for Boolean BI – Jonghyun Park, Jeongbong Seo, Sungwoo Park