메뉴 건너뛰기




Volumn 5, Issue 2, 2003, Pages 95-136

Some geometric perspectives in concurrency theory

Author keywords

Concurrency; Cubical Sets; Di homotopy; Homology; Homotopy

Indexed keywords


EID: 1342297962     PISSN: 15320073     EISSN: 15320081     Source Type: Journal    
DOI: 10.4310/HHA.2003.v5.n2.a5     Document Type: Conference Paper
Times cited : (73)

References (68)
  • 11
    • 0038047605 scopus 로고    scopus 로고
    • 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
  • 15
    • 0037803514 scopus 로고    scopus 로고
    • 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
  • 22
    • 0010920325 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 36
  • 38
  • 49
    • 25944437163 scopus 로고
    • 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
  • 56
    • 1342340490 scopus 로고    scopus 로고
    • 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
  • 61
    • 18544368569 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.