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, King's College London
Math. Struct. in Comp. Science (1996), vol. ??, pp. 1--33 Copyright c fl Cambridge University Press
STATIC ANALYSIS OF VALUE-PASSING PROCESS CALCULI (Extended Abstract)
Non-Interference for Deterministic Interactive David Clark1
Demonstrating Preservation of Safety Properties in Reactive Control System Development
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
An Abstraction Quantifying Information Flow over Probabilistic Semantics
SEMANTICS AND REFINEMENT OF BEHAVIOR STATE Kevin Lano, David Clark
A Lattice of Abstract Graphs David Clark and Chris Hankin
Control Dependence for Extended Finite State Kelly Androutsopoulos1
Quantitative analysis of secure information flow via Probabilistic Semantics
Structuring and Design of Reactive Systems using RSDS and B
