Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Pratt, Vaughan R.
2001.
SOFSEM 2001: Theory and Practice of Informatics.
Vol. 2234,
Issue. ,
p.
336.
Brown, Ronald
and
Porter, Timothy
2003.
The intuitions of higuer dimensional algebra for the study of structured space.
Revue de Synthèse,
Vol. 124,
Issue. 1,
p.
173.
Longo, Giuseppe
2003.
Computer modelling and natural phenomena.
ACM SIGSOFT Software Engineering Notes,
Vol. 28,
Issue. 5,
p.
1.
Longo, Giuseppe
2003.
Computer modelling and natural phenomena.
p.
1.
Melliès, Paul-André
2004.
CONCUR 2004 - Concurrency Theory.
Vol. 3170,
Issue. ,
p.
448.
Gerner, Philippe
and
Dang, Thao
2004.
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems.
Vol. 3253,
Issue. ,
p.
325.
Melliès, Paul-André
2005.
Asynchronous Games 3 An Innocent Model of Linear Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 122,
Issue. ,
p.
171.
van Glabbeek, R.J.
2005.
On the Expressiveness of Higher Dimensional Automata.
Electronic Notes in Theoretical Computer Science,
Vol. 128,
Issue. 2,
p.
5.
Goubault, Eric
and
Haucourt, Emmanuel
2005.
CONCUR 2005 – Concurrency Theory.
Vol. 3653,
Issue. ,
p.
503.
Mellies, P.-A.
2005.
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic.
p.
386.
Giavitto, Jean-Louis
Michel, Olivier
Cohen, Julien
and
Spicher, Antoine
2005.
Unconventional Programming Paradigms.
Vol. 3566,
Issue. ,
p.
137.
van Glabbeek, R.J.
2006.
On the expressiveness of higher dimensional automata.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
265.
Melliès, Paul-André
2006.
Asynchronous games 2: The true concurrency of innocence.
Theoretical Computer Science,
Vol. 358,
Issue. 2-3,
p.
200.
Grandis, Marco
2006.
Absolute Lax 2-categories.
Applied Categorical Structures,
Vol. 14,
Issue. 3,
p.
191.
Raußen, Martin
2006.
Deadlocks and dihomotopy in mutual exclusion models.
Theoretical Computer Science,
Vol. 365,
Issue. 3,
p.
247.
Longo, Giuseppe
and
Tendero, Pierre-Emmanuel
2007.
The Differential Method and the Causal Incompleteness of Programming Theory in Molecular Biology.
Foundations of Science,
Vol. 12,
Issue. 4,
p.
337.
Grandis, Marco
2007.
Directed Algebraic Topology, Categories and Higher Categories.
Applied Categorical Structures,
Vol. 15,
Issue. 4,
p.
341.
Alves, Miriam
Dantas, Christine
Arai, Nanci
and
Silva, Rovedy
2008.
A Formal Approach for the Verification Process of Space Software.
Longo, Giuseppe
2009.
Parsing the Turing Test.
p.
377.
Santocanale, Luigi
2009.
Topological Properties of Event Structures.
Electronic Notes in Theoretical Computer Science,
Vol. 230,
Issue. ,
p.
149.