External Links

    Journal: Fundamenta Informaticae

    Volume 40, Issue 2-3

    103 -- 107Maciej Koutny. Peter Lauer and COSY
    109 -- 124André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy. The AltaRica Formalism for Describing Concurrent Systems
    125 -- 163Eike Best, Alexander Lavrov. Generalised Composition Operations for High-level Petri Nets
    165 -- 197Nadia Busi, G. Michele Pinna. Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
    199 -- 219Raymond R. Devillers, Joël Goossens. General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks
    221 -- 250Andrea Maggiolo-Schettini, Simone Tini. Applying Techniques of Asynchronous Concurrency to Synchronous Languages
    251 -- 283Marta Pietkiewicz-Koutny. The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
    285 -- 316M. W. Shields. An Acceptance Vector Semantics for Path Programs
    runs on