External Links

    Journal: Formal Asp. Comput.

    Volume 20, Issue 2

    141 -- 160Brijesh Dongol, Arjan J. Mooij. Streamlining progress-based derivations of concurrent programs
    161 -- 204Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim. Integrating a formal method into a software engineering process with UML and Java
    205 -- 224Purandar Bhaduri, S. Ramesh. Interface synthesis and protocol conversion
    225 -- 238Hanifa Boucheneb. Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
    runs on