Menu

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

  • Newcastle University
  • 2010
  • Details

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

obnb.uk is a Good Stuff website.