|
13
|
Algebra and Logic for Resource-based Systems Modelling
– Matthew Collinson, David Pym
- 2009
|
|
44
|
Demos — discrete event modelling on Simula
– G Birtwistle
- 1979
|
|
41
|
Possible Worlds and Resources: The Semantics of BI
– David J. Pym, Peter W. O'Hearn, Hongseok Yang
- 2003
|
|
172
|
The Logic of Bunched Implications
– Peter W. O'Hearn, David J. Pym
- 1999
|
|
294
|
Calculi for synchrony and asynchrony
– R Milner
- 1983
|
|
8
|
Investments and Trade-offs in the Economics of Information Security
– Christos Ioannidis, David Pym, Julian Williams, England U. K, England U. K
|
|
74
|
Modal and Temporal Properties of Processes
– C Stirling
- 2001
|
|
8
|
Analysing the performance of security solutions to reduce vulnerability exposure window
– Y Beres, J Griffin, S Shiu, M Heitman, D Markle, P Ventura
- 2008
|
|
990
|
Decisions with Multiple Objectives: Preferences and Value Tradeoffs
– Ralph L Keeney, Howard Raiffa
- 1976
|
|
10
|
Semantics for Structured Systems Modelling and Simulation
– Matthew Collinson, Brian Monahan, David Pym
|
|
6
|
A bayesian approach to real estate management
– H Varian
- 1974
|
|
6
|
Bayesian prediction and estimation using asymmetric loss functions
– A Zellner
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
148
|
as an assertion language for mutable data structures
– BI
- 2001
|
|
88
|
The Semantics and Proof Theory of the Logic of Bunched Implications
– David J Pym
|
|
582
|
Separation Logic: A Logic for Shared Mutable Data Structures
– John Reynolds
- 2002
|
|
139
|
Why Information Security is Hard - An Economic Perspective
– Ross Anderson
- 2001
|
|
5
|
A discipline of mathematical systems modelling. To appear
– M Collinson, B Monahan, D Pym
- 2010
|
|
6
|
Algebra and logic for access control
– M Collinson, D Pym
- 2008
|
