-
2
-
-
18544372344
-
-
Technical report, Institutsbericht, Technische Universitaet Muenchen, Institut fuer Informatik
-
Basu, K., The geometry of sequential computation I: A simplicial geometry of interaction, Technical report, Institutsbericht, Technische Universitaet Muenchen, Institut fuer Informatik (1997).
-
(1997)
The Geometry of Sequential Computation I: A Simplicial Geometry of Interaction
-
-
Basu, K.1
-
3
-
-
18544372344
-
-
Technical report, Institutsbericht, Technische Universitaet Muenchen, Institut fuer Informatik
-
Basu, K., The geometry of sequential computation II: A simplicial geometry of interaction, Technical report, Institutsbericht, Technische Universitaet Muenchen, Institut fuer Informatik (1997).
-
(1997)
The Geometry of Sequential Computation II: A Simplicial Geometry of Interaction
-
-
Basu, K.1
-
9
-
-
84976691730
-
System deadlocks
-
Coffman, E. G., M. J. Elphick and A. Shoshani, System deadlocks, Computing Surveys 3 (1971), pp. 67-78.
-
(1971)
Computing Surveys
, vol.3
, pp. 67-78
-
-
Coffman, E.G.1
Elphick, M.J.2
Shoshani, A.3
-
11
-
-
0038047605
-
The regular-locally-compact coreflection of a stably locally compact locale
-
Escardo, M., The regular-locally-compact coreflection of a stably locally compact locale, Journal of Pure and Applied Algebra 157 (2001), pp. 41-55.
-
(2001)
Journal of Pure and Applied Algebra
, vol.157
, pp. 41-55
-
-
Escardo, M.1
-
13
-
-
84986617645
-
Loops, ditopology, and deadlocks
-
Fajstrup, L., Loops, ditopology, and deadlocks, Mathematical Structures in Computer Science 10(4) (2000).
-
(2000)
Mathematical Structures in Computer Science
, vol.10
, Issue.4
-
-
Fajstrup, L.1
-
15
-
-
0037803514
-
Algebraic topology and concurrency
-
submitted to, also technical report, Aalborg University
-
Fajstrup, L., E. Goubault and M. Raussen, Algebraic topology and concurrency, submitted to Theoretical Computer Science, also technical report, Aalborg University (1999).
-
(1999)
Theoretical Computer Science
-
-
Fajstrup, L.1
Goubault, E.2
Raussen, M.3
-
17
-
-
18544372656
-
-
North-Holland
-
Freyd, P. and A. Scedrov, "Categories, Allegories," volume 39 in Mathematical Library, North-Holland, 1990.
-
(1990)
"Categories, Allegories," Volume 39 in Mathematical Library
, vol.39
-
-
Freyd, P.1
Scedrov, A.2
-
22
-
-
0010920325
-
Homotopy invariants of higher dimensional categories and concurrency in computer science
-
Gaucher, P., Homotopy invariants of higher dimensional categories and concurrency in computer science, Mathematical Structures in Computer Science 10(4) (2000).
-
(2000)
Mathematical Structures in Computer Science
, vol.10
, Issue.4
-
-
Gaucher, P.1
-
25
-
-
18544387197
-
Domains of higher-dimensional automata
-
Goubault, E., Domains of higher-dimensional automata, in: Proc. of CONCUR'93 (1993).
-
(1993)
Proc. of CONCUR'93
-
-
Goubault, E.1
-
26
-
-
0010853079
-
-
Ph.D. thesis, Ecole Normale Supérieure
-
Goubault, E., "The Geometry of Concurrency," Ph.D. thesis, Ecole Normale Supérieure (1995), also available at http://www.dmi.ens.fr/ ~goubault.
-
(1995)
The Geometry of Concurrency
-
-
Goubault, E.1
-
27
-
-
0013239259
-
Schedulers as abstract interpretations of HDA
-
Goubault, E., Schedulers as abstract interpretations of HDA, in: Proc. of PEPM'95 (1995).
-
(1995)
Proc. of PEPM'95
-
-
Goubault, E.1
-
32
-
-
18544367715
-
Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs
-
Goubault-Larrecq, J. and E. Goubault, Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs, in: IMLA'99, 1999.
-
(1999)
IMLA'99
-
-
Goubault-Larrecq, J.1
Goubault, E.2
-
33
-
-
85039397808
-
-
Technical report, Appl. Categ. Structures, to appear. Preliminary version: Dip. Mat. Univ. Genova, Preprint 383. Also at: http://arXiv.org/abs/ math.AT/0009166
-
Grandis, M., An intrinsic homotopy theory for simplicial complexes, with applications to image analysis, Technical report, Appl. Categ. Structures, to appear. Preliminary version: Dip. Mat. Univ. Genova, Preprint 383. Also at: http://arXiv.org/abs/math.AT/0009166 (1999).
-
(1999)
An Intrinsic Homotopy Theory for Simplicial Complexes, with Applications to Image Analysis
-
-
Grandis, M.1
-
34
-
-
18544362539
-
Directed homotopy theory, i. The fundamental category
-
to appear, Preliminary version: Dip. Mat. Univ. Genova, Preprint 443
-
Grandis, M., Directed homotopy theory, i. the fundamental category, Cahiers Top. Gom. Diff. Catg, to appear, Preliminary version: Dip. Mat. Univ. Genova, Preprint 443 (2001).
-
(2001)
Cahiers Top. Gom. Diff. Catg
-
-
Grandis, M.1
-
35
-
-
0013188054
-
Homotopy and concurrency
-
Gunawardena, J., Homotopy and concurrency, in: Bulletin of the EATCS, 54, 1994, pp. 184-193.
-
(1994)
Bulletin of the EATCS
, vol.54
, pp. 184-193
-
-
Gunawardena, J.1
-
38
-
-
0004072372
-
-
Cambridge University Press
-
Johnstone, P. T., "Stone Spaces," Cambridge University Press, 1982.
-
(1982)
Stone Spaces
-
-
Johnstone, P.T.1
-
49
-
-
25944437163
-
Volume of multiplicative formulas and provabilityin
-
J.-Y. Girard, Y. Lafont and L. Regnier, editors, Cambridge University Press, proceedings of the Workshop on Linear Logic, Ithaca, New York, June
-
Métayer, F., Volume of multiplicative formulas and provabilityin: J.-Y. Girard, Y. Lafont and L. Regnier, editors, Advances in Linear Logic, Cambridge University Press, 1995 pp. 297-306, proceedings of the Workshop on Linear Logic, Ithaca, New York, June 1993.
-
(1993)
Advances in Linear Logic
, pp. 297-306
-
-
Métayer, F.1
-
53
-
-
0003259407
-
Techniques of differential topology in relativity
-
SIAM, Philadelphia, USA
-
Penrose, R., "Techniques of Differential Topology in Relativity," Conference Board of the Mathematical Sciences, Regional Conference Series in Applied Ma thematics 7, SIAM, Philadelphia, USA, 1972.
-
(1972)
Conference Board of the Mathematical Sciences, Regional Conference Series in Applied Mathematics
, vol.7
-
-
Penrose, R.1
-
56
-
-
1342340490
-
On the classification of dipaths in geometric models for concurrency
-
Raussen, M., On the classification of dipaths in geometric models for concurrency, Mathematical Structures in Computer Science 10(4) (2000).
-
(2000)
Mathematical Structures in Computer Science
, vol.10
, Issue.4
-
-
Raussen, M.1
-
57
-
-
85039404283
-
-
Technical Report R-01-2021, Dept. of Mathematics, Aalborg University, Aalborg, Denmark
-
Raussen, M., Topological antidotes to the state space explosion problem, Technical Report R-01-2021, Dept. of Mathematics, Aalborg University, Aalborg, Denmark (2001).
-
(2001)
Topological Antidotes to the State Space Explosion Problem
-
-
Raussen, M.1
-
60
-
-
0014929347
-
Sequencing tasks in multiprocess systems to avoid deadlocks
-
IEEE, Santa Monica, California
-
Shoshani, A. and E. G. Coffman, Sequencing tasks in multiprocess systems to avoid deadlocks, in: Conference Record of 1970 Eleventh Annual Symposium on Switching and Automata Theory, IEEE, Santa Monica, California, 1970, pp. 225-235.
-
(1970)
Conference Record of 1970 Eleventh Annual Symposium on Switching and Automata Theory
, pp. 225-235
-
-
Shoshani, A.1
Coffman, E.G.2
-
61
-
-
18544368569
-
-
Technical report, Institute of Computer Science, Gdansk Division
-
Sokolowski, S., Homotopy in concurrent processes, Technical report, Institute of Computer Science, Gdansk Division (1998).
-
(1998)
Homotopy in Concurrent Processes
-
-
Sokolowski, S.1
-
63
-
-
18544367874
-
-
Technical report, Institute of Computer Science, Gdansk Division
-
Sokolowski, S., Point glueing in cpo-s, Technical report, Institute of Computer Science, Gdansk Division (1998).
-
(1998)
Point Glueing in Cpo-s
-
-
Sokolowski, S.1
-
66
-
-
38249036924
-
Word problems and a homological finiteness condition for monoids
-
Squier, C., Word problems and a homological finiteness condition for monoids, J. of Pure and Applied Algebra 49 (1987), pp. 201-217.
-
(1987)
J. of Pure and Applied Algebra
, vol.49
, pp. 201-217
-
-
Squier, C.1
-
67
-
-
0001656380
-
The algebra of oriented simplexes
-
Street, R., The algebra of oriented simplexes, J. Pure Appl. Algebra (1987), pp. 283-335.
-
(1987)
J. Pure Appl. Algebra
, pp. 283-335
-
-
Street, R.1
|