Refinement-oriented probability for CSP Carroll MorganAnnabelle McIverJ. W. Sanders OriginalPaper 21 April 2015 Pages: 617 - 647
Computable processes and bisimulation equivalence Alban Ponse OriginalPaper 21 April 2015 Pages: 648 - 678
Transformations of normal and inverted function tables J. I. Zucker OriginalPaper 21 April 2015 Pages: 679 - 705
An algebraic semantic framework for object oriented languages with concurrency (extended abstract) Ruth BreuElena Zucca OriginalPaper 21 April 2015 Pages: 706 - 715
Impact of performance considerations on formal specification design Murali Sitaraman OriginalPaper 21 April 2015 Pages: 716 - 736