ComputingImperial

Process Algebra for Discrete Event SimulationP

G. Harrison, B., StruloyDepartment, 1993 .

Making inconsistency respectable 1 : A logical framework for inconsistency

Anthony, ComputingImperial, CollegeLondon, 2016 .

Temporal Logic in a Stochastic

ComputingImperial, CollegeLondon, G. P., 1993 .

Why is it so hard to nd Feedback Controlin Software Processes ?

ComputingImperial, CollegeLondon, 1996 .