External Links

    Journal: Theoretical Computer Science

    Volume 202, Issue 1-2

    1 -- 54Marco Bernardo, Roberto Gorrieri. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time
    55 -- 125Christoph Brzoska. Programming in Metric Temporal Logic
    127 -- 161Miguel Felder, Angelo Gargantini, Angelo Morzenti. A Theory of Implementation and Refinement in Timed Petri Nets
    163 -- 192Agostino Cortesi, Gilberto Filé, William H. Winsborough. The Quotient of an Abstract Interpretation
    193 -- 222Chrysafis Hartonas. Duality for Modal mu-Logics
    223 -- 230Franck van Breugel. Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes
    231 -- 244Gonzalo Ramos-Jiménez, J. López-Muñoz, Rafael Morales Bueno. Comparisons of Parikh s Condition to Other Conditions for Context-free Languages
    runs on