Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Raussen, Martin
2010.
Simplicial models of trace spaces.
Algebraic & Geometric Topology,
Vol. 10,
Issue. 3,
p.
1683.
Bonichon, Richard
Canet, Géraud
Correnson, Loïc
Goubault, Eric
Haucourt, Emmanuel
Hirschowitz, Michel
Labbé, Sébastien
and
Mimram, Samuel
2011.
Computer Safety, Reliability, and Security.
Vol. 6894,
Issue. ,
p.
85.
Raussen, Martin
2012.
Simplicial models for trace spaces II: General higher dimensional automata.
Algebraic & Geometric Topology,
Vol. 12,
Issue. 3,
p.
1745.
Kahl, Thomas
2012.
Some collapsing operations for 2-dimensional precubical sets.
Journal of Homotopy and Related Structures,
Vol. 7,
Issue. 2,
p.
281.
Raussen, Martin
2012.
Execution spaces for simple higher dimensional automata.
Applicable Algebra in Engineering, Communication and Computing,
Vol. 23,
Issue. 1-2,
p.
59.
Fajstrup, Lisbeth
Goubault, Éric
Haucourt, Emmanuel
Mimram, Samuel
and
Raussen, Martin
2012.
Programming Languages and Systems.
Vol. 7211,
Issue. ,
p.
274.
Raussen, Martin
2012.
Simplicial models for trace spaces II: General higher dimensional automata.
Algebraic & Geometric Topology,
Vol. 12,
Issue. 3,
p.
1741.
Oshevskaya, E. S.
2013.
Equivalence of the Category of Precubical Sets and the Category of Transitional Chu Spaces With Preservation of the Openness Property of Morphisms.
Journal of Mathematical Sciences,
Vol. 195,
Issue. 6,
p.
832.
Porter, Timothy
2014.
Variations on a theme of homotopy.
Annales de la Faculté des sciences de Toulouse : Mathématiques,
Vol. 22,
Issue. 5,
p.
1045.
Goubault-Larrecq, Jean
2014.
Exponentiable Streams and Prestreams.
Applied Categorical Structures,
Vol. 22,
Issue. 3,
p.
515.
Raussen, Martin
and
Ziemiański, Krzysztof
2014.
Homology of spaces of directed paths on Euclidean cubical complexes.
Journal of Homotopy and Related Structures,
Vol. 9,
Issue. 1,
p.
67.
Hirschowitz, André
Hirschowitz, Michel
and
Hirschowitz, Tom
2014.
Saturating directed spaces.
Journal of Homotopy and Related Structures,
Vol. 9,
Issue. 2,
p.
273.
Goubault, Éric
Mimram, Samuel
and
Tasson, Christine
2015.
Iterated Chromatic Subdivisions are Collapsible.
Applied Categorical Structures,
Vol. 23,
Issue. 6,
p.
777.
Dubut, Jérémy
Goubault, Éric
and
Goubault-Larrecq, Jean
2015.
Automata, Languages, and Programming.
Vol. 9135,
Issue. ,
p.
171.
Goubault, Éric
Mimram, Samuel
and
Tasson, Christine
2015.
Distributed Computing.
Vol. 9363,
Issue. ,
p.
436.
Ottosen, Iver
2015.
The trace space of the $$k$$ k -skeleton of the $$n$$ n -cube.
Applicable Algebra in Engineering, Communication and Computing,
Vol. 26,
Issue. 1-2,
p.
141.
Ciancia, Vincenzo
Latella, Diego
Loreti, Michele
and
Massink, Mieke
2016.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems.
Vol. 9700,
Issue. ,
p.
156.
Dubut, Jérémy
Goubault, Eric
and
Goubault-Larrecq, Jean
2017.
Directed Homology Theories and Eilenberg-Steenrod Axioms.
Applied Categorical Structures,
Vol. 25,
Issue. 5,
p.
775.
Tsementzis, Dimitris
2017.
What is a Higher-Level Set?.
Philosophia Mathematica,
p.
nkw032.
Hadzihasanovic, Amar
2017.
A Topological Perspective on Interacting Algebraic Theories.
Electronic Proceedings in Theoretical Computer Science,
Vol. 236,
Issue. ,
p.
70.