An inductive approach to strand spaces Yongjian LiJun Pang Original Article 15 July 2011 Pages: 465 - 501
HYPE: Hybrid modelling by composition of flows Vashti GalpinLuca BortolussiJane Hillston Original Article 13 August 2011 Pages: 503 - 541
Threaded behavior protocols Tomáš PochOndřej ŠerýJan Kofroň Original Article 18 September 2011 Pages: 543 - 572
The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits Richard BanachMarco Bozzano Original Article 30 September 2011 Pages: 573 - 607
The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits Richard BanachMarco Bozzano Original Article 04 October 2011 Pages: 609 - 657