Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Clark, David - Department of Computer Science, University College London
STATIC ANALYSIS OF VALUE-PASSING PROCESS CALCULI (Extended Abstract)
A Lattice of Abstract Graphs David Clark and Chris Hankin
The object of this thesis is to investigate the relationship between term graph rewriting and event structures. In the course of doing so the thesis makes
Demonstrating Preservation of Safety Properties in Reactive Control System Development
Math. Struct. in Comp. Science (1996), vol. ??, pp. 1--33 Copyright c fl Cambridge University Press
Structuring and Design of Reactive Systems using RSDS and B
Automatically Compute Information Flow Quantity via Probabilistic Semantics
Semantic Malware Detection Technical Report TR-10-03, 16 February 2010
An Abstraction Quantifying Information Flow over Probabilistic Semantics
A quantitative analyser for programs in a core imperative language
An Alternative Characterization of Weak Order Torben Amtofta
SEMANTICS AND REFINEMENT OF BEHAVIOR STATE Kevin Lano, David Clark
Squeeziness: An Information Theoretic Measure for Avoiding Fault Masking
Non-Interference for Deterministic Interactive David Clark1
Quantitative analysis of secure information flow via Probabilistic Semantics
Model Projection: Simplifying Models in Response to Restricting the Environment
