External Links

    Journal: Formal Asp. Comput.

    Volume 21, Issue 5

    393 -- 395Richard Bornat. Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009
    397 -- 420Soon-Kyeong Kim, David A. Carrington. A formalism to describe design patterns based on role concepts
    421 -- 449Paul Howells, Mark d Inverno. A CSP model with flexible parallel termination semantics
    451 -- 483Chunqing Chen, Jin Song Dong, Jun Sun 0001. A formal framework for modeling and validating Simulink diagrams
    485 -- 494Daniel Kroening, Ofer Strichman. A framework for Satisfiability Modulo Theories
    495 -- 510Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba. A rigorous methodology for specification and verification of business processes
    runs on