External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 52, Issue 3

    207 -- 208Jos C. M. Baeten. Timed Process Algebras
    209 -- 226Andrea Bobbio, András Horváth. Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis
    227 -- 245Víctor A. Braberman, Alfredo Olivero. Extending Timed Automata for Compositional Modeling Healthy Timed Systems
    246 -- 274Mario Bravetti, Alessandro Aldini. Non-determinism in Probabilistic Timed Systems with General Distributions
    275 -- 294Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen. Towards a Process Algebra for Shared Processors
    295 -- 305Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini. Privacy in Real-Time Systems
    306 -- 322Jitka Stríbrná, Insup Lee. Characterizing Non-Zenoness on Real-Time Processes
    323 -- 324Flavio Corradini, Walter Vogler. Preface
    runs on