Theoretical Computer Science, Volume 202

Volume 202, Numbers 1-2, 28 July 1998

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