1
Published 2010
Table of Contents: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... when and when not to interrupt -- Formal Analysis of the Communication of Probabilistic Knowledge...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Unifying Theories of Objects -- Non-interference Properties for Data-Type Reduction of Communicating...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation...
View full text
Electronic eBook