External Links

    Journal: Theoretical Computer Science

    Volume 45, Issue 3

    261 -- 292Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen. Reachability Trees for High-level Petri Nets
    293 -- 351Hassan Aït-Kaci. An Algebraic Semantics Approach to the Effective Resolution of Type Equations

    Volume 45, Issue 2

    121 -- 157Mariangiola Dezani-Ciancaglini, Ines Margaria. A Characterization of F-Complete Type Assignments
    159 -- 192Jean-Yves Girard. The System F of Variable Types, Fifteen Years Later
    193 -- 260John-Jules Ch. Meyer. Merging Regular Processes by Means of Fixed-Point Theory

    Volume 45, Issue 1

    1 -- 61Manfred Broy. A Theory for Nondeterminism, Parallelism, Communication, and Concurrency
    63 -- 86Maxime Crochemore. Transducers and Repetitions
    87 -- 119Jakob Gonczarowski, Manfred K. Warmuth. Manipulating Derivation Forests by Scheduling Techniques
    runs on