default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd CMCIM / 5th GETCO @ CORNCUR 2003: Marseille, France
- Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg:
Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 100, Elsevier 2004 - Michael W. Mislove:
Editorial. 1 - Thomas T. Hildebrandt, Alexander Kurz:
Preface. 3 - Ling Cheung, Jesse Hughes:
Concise Graphs and Functional Bisimulations. 5-29 - Martin Hyland, John Power
:
Symmetric Monoidal Sketches and Categories of Wirings. 31-46 - Eric Goubault, Ulrich Fahrenberg:
Preface. 47-48 - Pieter J. L. Cuijpers, Michel A. Reniers:
Topological (Bi-)Simulation. 49-64 - Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz:
Simulations as Homotopies. 65-93 - Philippe Gaucher:
The Homotopy Branching Space of a Flow. 95-109 - Ulrich Fahrenberg:
Directed Homology. 111-125
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
