A formal framework for service modeling and prototyping Elvinia RiccobenePatrizia Scandurra Original Article 25 December 2013 Pages: 1077 - 1113
A formalisation of deep metamodelling Alessandro RossiniJuan de LaraUwe Wolter Original Article 09 August 2014 Pages: 1115 - 1152
The relation between preset distinguishing sequences and synchronizing sequences Canan GüniçenKemal İnanHüsnü Yenigün Original Article 17 April 2014 Pages: 1153 - 1167
Analysing neurobiological models using communicating automata Li SuRodolfo GomezHoward Bowman Original Article 23 April 2014 Pages: 1169 - 1204
Concerned with the unprivileged: user programs in kernel refinement Matthias DaumNelson BillingGerwin Klein Original Article 04 May 2014 Pages: 1205 - 1229
Formal relational database design: an exercise in extending the formal template language Nicolas WuAndrew Simpson Original Article 27 May 2014 Pages: 1231 - 1269