Theoretical Computer Science, Volume 202

> Home > Journals > Theoretical Computer Science

Volume 202, Numbers 1-2, 28 July 1998

- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/tcs/BernardoG98
- ask others
Marco Bernardo, Roberto Gorrieri:
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. 1-54
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/tcs/Brzoska98
- ask others
Christoph Brzoska:
Programming in Metric Temporal Logic. 55-125
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/tcs/FelderGM98
- ask others
Miguel Felder, Angelo Gargantini, Angelo Morzenti:
A Theory of Implementation and Refinement in Timed Petri Nets. 127-161
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/tcs/CortesiFW98
- ask others
Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation. 163-192
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/tcs/Hartonas98a
- ask others
Chrysafis Hartonas:
Duality for Modal mu-Logics. 193-222
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/tcs/Breugel98
- ask others
Franck van Breugel:
Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes. 223-230
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/tcs/Ramos-JimenezLM98
- ask others
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