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.
Longo, Giuseppe
2003.
Computer modelling and natural phenomena.
p.
1.
Longo, Giuseppe
2003.
Computer modelling and natural phenomena.
ACM SIGSOFT Software Engineering Notes,
Vol. 28,
Issue. 5,
p.
1.
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.
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.
Giavitto, Jean-Louis
Michel, Olivier
Cohen, Julien
and
Spicher, Antoine
2005.
Unconventional Programming Paradigms.
Vol. 3566,
Issue. ,
p.
137.
van Glabbeek, R.J.
2005.
On the Expressiveness of Higher Dimensional Automata.
Electronic Notes in Theoretical Computer Science,
Vol. 128,
Issue. 2,
p.
5.
Mellies, P.-A.
2005.
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic.
p.
386.
Goubault, Eric
and
Haucourt, Emmanuel
2005.
CONCUR 2005 – Concurrency Theory.
Vol. 3653,
Issue. ,
p.
503.
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.
Melliès, Paul-André
2006.
Asynchronous games 2: The true concurrency of innocence.
Theoretical Computer Science,
Vol. 358,
Issue. 2-3,
p.
200.
Raußen, Martin
2006.
Deadlocks and dihomotopy in mutual exclusion models.
Theoretical Computer Science,
Vol. 365,
Issue. 3,
p.
247.
van Glabbeek, R.J.
2006.
On the expressiveness of higher dimensional automata.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
265.
Grandis, Marco
2006.
Absolute Lax 2-categories.
Applied Categorical Structures,
Vol. 14,
Issue. 3,
p.
191.
Grandis, Marco
2007.
Directed Algebraic Topology, Categories and Higher Categories.
Applied Categorical Structures,
Vol. 15,
Issue. 4,
p.
341.
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.
Alves, Miriam
Dantas, Christine
Arai, Nanci
and
Silva, Rovedy
2008.
A Formal Approach for the Verification Process of Space Software.
Krishnan, Sanjeevi
2009.
A Convenient Category of Locally Preordered Spaces.
Applied Categorical Structures,
Vol. 17,
Issue. 5,
p.
445.
Santocanale, Luigi
2009.
Topological Properties of Event Structures.
Electronic Notes in Theoretical Computer Science,
Vol. 230,
Issue. ,
p.
149.