An algebraic theory for web service contracts Cosimo LaneveLuca Padovani Original Article 08 April 2015 Pages: 613 - 640
A compositional automata-based semantics and preserving transformation rules for testing property patterns Safouan TahaJacques JulliandBilal Kanso OriginalPaper 10 December 2014 Pages: 641 - 664
Quantified abstract configurations of distributed systems Elvira AlbertJesús CorreasGuillermo Román-Díez Original Article 06 November 2014 Pages: 665 - 699
Program equivalence by circular reasoning Dorel LucanuVlad Rusu Original Article 15 November 2014 Pages: 701 - 726
Structural transformations for data-enriched real-time systems Ernst-Rüdiger OlderogMani Swaminathan Original Article 15 August 2014 Pages: 727 - 750