Home

Selected Publications

"Linking the pi-calculus and B-Method"
Damien Karkinsky, IFM2005 Doctoral Symposium Proceedings, 2005.

"Mobile B machines"
Damien Karkinsky, PhD Thesis (University of Surrey), 2007.

"Combining mobility with state"
Damien Karkinsky, Steve Schneider, Helen Treharne, IFM2007, p373-392, 2007.