Electronic Notes in Theoretical Computer Science, Volume 100

Volume 100, October 2004

CONCUR 2003: CMCIM and GETCO

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Mislove04
- ask others
Michael W. Mislove: Editorial. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HildebrandtK04
- ask others
Thomas T. Hildebrandt, Alexander Kurz: Preface. 3
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CheungH04
- ask others
Ling Cheung, Jesse Hughes: Concise Graphs and Functional Bisimulations. 5-29
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HylandP04
- ask others
Martin Hyland, John Power: Symmetric Monoidal Sketches and Categories of Wirings. 31-46
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GoubaultF04
- ask others
Eric Goubault, Ulrich Fahrenberg: Preface. 47-48
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CuijpersR04
- ask others
Pieter J. L. Cuijpers, Michel A. Reniers: Topological (Bi-)Simulation. 49-64
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HessPTW04
- ask others
Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz: Simulations as Homotopies. 65-93
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Gaucher04
- ask others
Philippe Gaucher: The Homotopy Branching Space of a Flow. 95-109
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Fahrenberg04
- ask others
Ulrich Fahrenberg: Directed Homology. 111-125