Context induction: A proof principle for behavioural abstractions and algebraic implementations Rolf Hennicker OriginalPaper Pages: 326 - 345
A proof system for communicating processes with value-passing M. Hennessy OriginalPaper Pages: 346 - 366
Formal aspects of computing: LATEX style guide for authors Christiane NotarmarcoRod Mulvey OriginalPaper Pages: 367 - 376