Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Buckland, Richard
Johnson, Michael
and
Verity, Dominic
2002.
On the Specification of Higher Dimensional Automata
.
Electronic Notes in Theoretical Computer Science,
Vol. 68,
Issue. 1,
p.
1.
McBurney, Peter
and
Parsons, Simon
2002.
A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions.
Electronic Notes in Theoretical Computer Science,
Vol. 52,
Issue. 2,
p.
187.
Goubault, Éric
and
Raussen, Marti
2002.
LATIN 2002: Theoretical Informatics.
Vol. 2286,
Issue. ,
p.
16.
van Glabbeek, R.J.
2005.
On the Expressiveness of Higher Dimensional Automata.
Electronic Notes in Theoretical Computer Science,
Vol. 128,
Issue. 2,
p.
5.
van Glabbeek, R.J.
2006.
On the expressiveness of higher dimensional automata.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
265.
Fajstrup, Lisbeth
Raußen, Martin
and
Goubault, Eric
2006.
Algebraic topology and concurrency.
Theoretical Computer Science,
Vol. 357,
Issue. 1-3,
p.
241.
Raußen, Martin
2006.
Deadlocks and dihomotopy in mutual exclusion models.
Theoretical Computer Science,
Vol. 365,
Issue. 3,
p.
247.
Ghrist, R.
and
Peterson, V.
2007.
The geometry and topology of reconfiguration.
Advances in Applied Mathematics,
Vol. 38,
Issue. 3,
p.
302.
Raussen, Martin
2010.
Simplicial models of trace spaces.
Algebraic & Geometric Topology,
Vol. 10,
Issue. 3,
p.
1683.
Raussen, Martin
2012.
Execution spaces for simple higher dimensional automata.
Applicable Algebra in Engineering, Communication and Computing,
Vol. 23,
Issue. 1-2,
p.
59.
Goubault, Éric
and
Mimram, Samuel
2012.
Formal Relationships Between Geometrical and Classical Models for Concurrency.
Electronic Notes in Theoretical Computer Science,
Vol. 283,
Issue. ,
p.
77.
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.
Belton, Robin
Brooks, Robyn
Ebli, Stefania
Fajstrup, Lisbeth
Fasy, Brittany Terese
Ray, Catherine
Sanderson, Nicole
and
Vidaurre, Elizabeth
2020.
Advances in Mathematical Sciences.
Vol. 21,
Issue. ,
p.
255.
Fajstrup, Lisbeth
2021.
Cut-off theorems for the PV-model.
Formal Methods in System Design,
Vol. 59,
Issue. 1-3,
p.
21.
Raussen, Martin
2023.
Connectivity of spaces of directed paths in geometric models for concurrent computation.
Computational Geometry,
Vol. 109,
Issue. ,
p.
101942.