External Links

    Journal: Formal Asp. Comput.

    Volume 2, Issue 2

    109 -- 122Helmuth Partsch, Frank A. Stomp. A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning
    123 -- 138Eike Best, Jörg Desel. Partial Order Behaviour and Structure of Petri Nets
    139 -- 166Wim H. Hesselink. Axioms and Models of Linear Logic
    167 -- 195Jayadev Misra. Equational Reasoning About Nondeterministic Processes
    runs on