Search results for "dihomotopy"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Philippe Gaucher	Flow does not Model Flows up to Weak Dihomotopy.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	weak factorizarion system, cofibrantly generated modelcategory, locally presentable model category, combinatorial model category, directed homotopy, concurrency, homotopy
59	Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	po-space, dihomotopy, fundamental category, category of fractions, invertible morphism, lr-system, pure system, weakly invertible morphism, component
53	Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category II.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40
36	Martin Raußen	Deadlocks and dihomotopy in mutual exclusion models.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
36	Lisbeth Fajstrup	Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again.	Spatial Representation	2005	DBLP BibTeX RDF
36	Martin Raussen	Deadlocks and Dihomotopy in Mutual Exclusion Models.	Spatial Representation	2005	DBLP BibTeX RDF
36	Eric Goubault, Martin Raußen	Dihomotopy as a Tool in State Space Analysis.	LATIN	2002	DBLP DOI BibTeX RDF
36	Philippe Gaucher	Investigating The Algebraic Structure of Dihomotopy Types.	GETCO	2001	DBLP DOI BibTeX RDF
33	David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur	Recursive Decomposition of Progress Graphs.	SSIRI	2009	DBLP DOI BibTeX RDF	dihomotopy, verification, deadlock, SPIN, LTL
26	David A. Cape, Bruce M. McMillin	Dihomotopic Reduction Used in Deadlock Detection.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )