|
|
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
|
|
|
Under consideration for publication in Math. Struct. in Comp. Science Algebra and Logic for Resource-based Systems Modelling
– unknown authors
- 2007
|
|
13
|
Algebra and Logic for Resource-based Systems Modelling
– Matthew Collinson, David Pym
- 2009
|
|
10
|
Semantics for Structured Systems Modelling and Simulation
– Matthew Collinson, Brian Monahan, David Pym
|
|
14
|
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
|
|
3
|
STRUCTURED SYSTEMS ECONOMICS FOR SECURITY MANAGEMENT
– Adam Beautement, David Pym
|
|
50
|
Bi hyperdoctrines, higher-order separation logic, and abstraction
– Bodil Biering, Lars Birkedal, Noah Torp-Smith
- 2005
|
|
|
FOOTPRINTS IN LOCAL REASONING
– unknown authors
- 903
|
|
|
THE STRUCTURE AND DYNAMICS OF SYSTEMS SECURITY ECONOMICS
– Adam Beautement, David Pym
|
|
|
Separation Logic Tutorial
– Peter O'Hearn
- 2008
|
|
|
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
– Peter W. O’hearn
|
|
6
|
Footprints in Local Reasoning
– Mohammad Raza
|
|
2
|
Algebraic models and complete proof calculi for classical BI
– James Brotherston, Cristiano Calcagno
- 2008
|
|
1
|
CLASSICAL BI: ITS SEMANTICS AND PROOF THEORY
– James Brotherston, Cristiano Calcagno
|
|
5
|
Resource Graphs and Countermodels in Resource Logics
– D. Galmiche, D. Méry
|
|
7
|
Classical BI (A Logic for Reasoning about Dualising Resources)
– James Brotherston, Cristiano Calcagno
|
