Ken G. Pierce
5 published titles
Splitting atoms with rely/guarantee conditions coupled with data reification
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
What can the Pi-Calculus tell us about the Mondex Purse System?
(Contributor)
1 edition
Proceedings of the 8th Overture Workshop.
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
A comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2015
- Details
A rigorous approach to the design of resilient cyber-physical systems through co-simulation
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details