메뉴 건너뛰기




Volumn 9780521490306, Issue , 2009, Pages 1-191

The space and motion of communicating agents

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL CELLS; COMMUNICATING AGENTS; COMPUTING SYSTEM; CONCURRENT PROCESS; INTERACTING AGENTS; INTERACTIVE AGENTS; STRUCTURAL THEORIES; UBIQUITOUS SYSTEMS;

EID: 84924452673     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511626661     Document Type: Book
Times cited : (295)

References (83)
  • 3
    • 0004080346 scopus 로고
    • Cambridge Tracts in Theoretical Computer Science Cambridge University Press
    • Baeten, J. and Weijland, W. (1990), Process Algebra. Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press.
    • (1990) Process Algebra , pp. 18
    • Baeten, J.1    Weijland, W.2
  • 5
    • 0016507066 scopus 로고
    • The basic algebraic structures in categories of derivations
    • Benson, D. (1975), The basic algebraic structures in categories of derivations. Information and Control28, 1-29.
    • (1975) Information and Control , vol.28 , pp. 1-29
    • Benson, D.1
  • 8
    • 0021870594 scopus 로고
    • Algebra of communicating processes with abstraction
    • Bergstra, J. and Klop, J.-W. (1985), Algebra of communicating processes with abstraction. Theoretical Computer Science37, 77-121.
    • (1985) Theoretical Computer Science , vol.37 , pp. 77-121
    • Bergstra, J.1    Klop, J.-W.2
  • 13
    • 0021465083 scopus 로고
    • A theory of communicating sequential processes
    • Brookes, S., Hoare, C. and Roscoe, W. (1984), A theory of communicating sequential processes. J. ACM31, 560-599.
    • (1984) J. ACM , vol.31 , pp. 560-599
    • Brookes, S.1    Hoare, C.2    Roscoe, W.3
  • 15
    • 33646717084 scopus 로고    scopus 로고
    • Bigraphical semantics of higher-order mobile embedded resources with local names
    • Electronic Notes in Theoretical Computer Science, Elsevier
    • Bundgaard, M. and Hildebrandt, T. (2006), Bigraphical semantics of higher-order mobile embedded resources with local names. In: Proc. Workshop on Graph Transformation for Verification and Concurrency, Electronic Notes in Theoretical Computer Science 154, Elsevier, 7-29.
    • (2006) Proc. Workshop on Graph Transformation for Verification and Concurrency , vol.154 , pp. 7-29
    • Bundgaard, M.1    Hildebrandt, T.2
  • 19
    • 0038460668 scopus 로고    scopus 로고
    • Process algebras with localities
    • Bergstra J., Ponse, A. and Smolka, S., Elsevier
    • Castellani, I. (2001), Process algebras with localities. In: Handbook of Process Algebra, eds Bergstra, J., Ponse, A. and Smolka, S., Elsevier, 945-1045.
    • (2001) Handbook of Process Algebra , pp. 945-1045
    • Castellani, I.1
  • 21
    • 0034539093 scopus 로고    scopus 로고
    • Experiences of developing and deploying a context-aware tourist guide: The guide project
    • Boston, Massachusetts
    • Cheverst, K., Davies, N., Mitchell, K. and Friday, A. (2000), Experiences of developing and deploying a context-aware tourist guide: the GUIDE project. In: Proc. Mobicom, Boston, Massachusetts, 20-31.
    • (2000) Proc. Mobicom , pp. 20-31
    • Cheverst, K.1    Davies, N.2    Mitchell, K.3    Friday, A.4
  • 25
    • 33847316620 scopus 로고    scopus 로고
    • The privacy and safety impact of technology choices for command, communications and control of the public highway
    • Crowcroft, J. (2006), The privacy and safety impact of technology choices for command, communications and control of the public highway. SIGCOMM Comput. Commun. Rev. 36(1), 53-58.
    • (2006) SIGCOMM Comput. Commun. Rev , vol.36 , Issue.1 , pp. 53-58
    • Crowcroft, J.1
  • 27
    • 38149064616 scopus 로고    scopus 로고
    • Scalable modelling of biological pathways
    • In: Z. Shao (ed.)
    • Danos, V., Feret, J., Fontana, W. and Krivine, J. (2007), Scalable modelling of biological pathways. In: Z. Shao (ed.), Proceedings ofAPLAS,4807, 139-157.
    • (2007) Proceedings Of aplas , vol.4807 , pp. 139-157
    • Danos, V.1    Feret, J.2    Fontana, W.3    Krivine, J.4
  • 28
    • 78651561296 scopus 로고    scopus 로고
    • Exploiting space and location as a design framework for interactive mobile systems
    • Dix, A. et al.(2000), Exploiting space and location as a design framework for interactive mobile systems. ACM Trans. Comput. Human Interact7(3), 285-321.
    • (2000) ACM Trans. Comput. Human Interact , vol.7 , Issue.3 , pp. 285-321
    • Dix, A.1
  • 29
    • 85034646939 scopus 로고
    • Introduction to the algebraic theory of graph grammars
    • Lecture Notes in Computer Science, Springer-Verlag
    • Ehrig, H. (1979), Introduction to the algebraic theory of graph grammars. In: Graph Grammars and their Application to Computer Science and Biology, Lecture Notes in Computer Science 73, Springer-Verlag, 1-69.
    • (1979) Graph Grammars and Their Application to Computer Science and Biology , vol.73 , pp. 1-69
    • Ehrig, H.1
  • 31
    • 18544372400 scopus 로고    scopus 로고
    • A bi-categorical axiomatisation of concurrent graph rewriting
    • Electronic Notes in Theoretical Computer Science, Elsevier Science
    • Gadducci, F., Heckel, R. and Llabres, M. (1999), A bi-categorical axiomatisation of concurrent graph rewriting. In: Proc. 8th Conference on Category Theory in Computer Science (CTCS), Electronic Notes in Theoretical Computer Science 29, Elsevier Science.
    • (1999) Proc. 8Th Conference on Category Theory in Computer Science (CTCS) , vol.29
    • Gadducci, F.1    Heckel, R.2    Llabres, M.3
  • 32
    • 0003364293 scopus 로고    scopus 로고
    • The tile model
    • In: Plotkin, G., Stirling, C. and Tofte, M, MIT Press
    • Gadducci, F. and Montanan, U. (2000), The tile model. In: Plotkin, G., Stirling, C. and Tofte, M. (eds) Proof, Language and Interaction, MIT Press, 133-166.
    • (2000) Proof, Language and Interaction , pp. 133-166
    • Gadducci, F.1    Montanan, U.2
  • 33
    • 84885227660 scopus 로고    scopus 로고
    • From process calculi to process frameworks
    • Lecture Notes in Computer Science, Springer-Verlag
    • Gardner, P. (2000), From process calculi to process frameworks. In: Proc. 11th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science 1877, Springer-Verlag, 69-88.
    • (2000) Proc. 11Th International Conference on Concurrency Theory (CONCUR) , vol.1877 , pp. 69-88
    • Gardner, P.1
  • 35
    • 33847608396 scopus 로고    scopus 로고
    • Directed bigraphs
    • Electronic Notes in Computer Science, Elsevier
    • Grohmann, D. and Miculan, M. (2007), Directed bigraphs. In: Proceedings of 23rd MFPS Conference, Electronic Notes in Computer Science 173, Elsevier, 121-137.
    • (2007) Proceedings of 23Rd MFPS Conference , vol.173 , pp. 121-137
    • Grohmann, D.1    Miculan, M.2
  • 36
    • 38149102376 scopus 로고    scopus 로고
    • Reactive systems over directed bigraphs
    • Lecture Notes in Computer Science, Springer-Verlag
    • Grohmann, D. and Miculan, M. (2007), Reactive systems over directed bigraphs. In: Proceedings of 18th Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science 4703, Springer-Verlag, 380-394.
    • (2007) Proceedings of 18Th Conference on Concurrency Theory (CONCUR) , vol.4703 , pp. 380-394
    • Grohmann, D.1    Miculan, M.2
  • 40
    • 0021974161 scopus 로고
    • Algebraic laws for non-determinism and concurrency
    • Hennessy, M. and Milner, R. (1985), Algebraic laws for non-determinism and concurrency. Journal of ACM32, 137-161.
    • (1985) Journal of ACM , vol.32 , pp. 137-161
    • Hennessy, M.1    Milner, R.2
  • 41
    • 33746223380 scopus 로고    scopus 로고
    • Formalising business process execution with bigraphs and reactive xml
    • Lecture Notes in Computer Science, Springer Verlag
    • Hildebrandt, T., Niss, H. and Olsen M. (2006), Formalising business process execution with bigraphs and Reactive XML. In: Proc. 8th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science 4038, Springer Verlag, 113-129.
    • (2006) Proc. 8Th International Conference on Coordination Models and Languages , vol.4038 , pp. 113-129
    • Hildebrandt, T.1    Niss, H.2    Olsen, M.3
  • 43
    • 84944036119 scopus 로고    scopus 로고
    • Synchronised hyperedge replacement with name mobility
    • Lecture Notes in Computer Science, Springer-Verlag
    • Hirsch, D. and Montanari, U. (2001), Synchronised hyperedge replacement with name mobility. In: Proc. 12th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science 2154, Springer-Verlag, 121-136.
    • (2001) Proc. 12Th International Conference on Concurrency Theory (CONCUR) , vol.2154 , pp. 121-136
    • Hirsch, D.1    Montanari, U.2
  • 45
    • 0347527073 scopus 로고    scopus 로고
    • Computational mechanism design: A call to arms
    • Dash, R., Parkes, D. and Jennings, N. (2003), Computational mechanism design: a call to arms. IEEE Intell. Syst.18(6), 40-47.
    • (2003) IEEE Intell. Syst , vol.18 , Issue.6 , pp. 40-47
    • Dash, R.1    Parkes, D.2    Jennings, N.3
  • 49
    • 0000038661 scopus 로고
    • Foncteurs analytiques et espèces de structures
    • LectureNotes in Mathematics, Springer-Verlag
    • Joyal, A. (1986), Foncteurs analytiques et espèces de structures. In: Proc. Colloque de combinatoire énumérative, LectureNotes in Mathematics 1234, Springer-Verlag, 126-159.
    • (1986) Proc. Colloque De Combinatoire énumérative , vol.1234 , pp. 126-159
    • Joyal, A.1
  • 50
    • 0003840908 scopus 로고
    • Lecture Notes in Mathematics 64, Cambridge University Press. Republished (2005) in Theory and Applications of Categories
    • Kelly, G. M. (1982), Basic Concepts of Enriched Category Theory.Lecture Notes in Mathematics 64, Cambridge University Press. Republished (2005) in Theory and Applications of Categories 10, 1-136.
    • (1982) Basic Concepts of Enriched Category Theory , vol.10 , pp. 1-136
    • Kelly, G.M.1
  • 53
    • 27844465353 scopus 로고
    • Metric spaces, generalized logic, and closed categories. Rendiconti del seminario matematico e fisico di milano xlii, 135-166
    • Lawvere, F.W. (1973), Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano XLII, 135-166. Republished (2002) inReprints in Theory and Applications of Categories, 1, 1-37.
    • (1973) Reprints in Theory and Applications of Categories , vol.1 , pp. 1-37
    • Lawvere, F.W.1
  • 54
    • 0037842866 scopus 로고    scopus 로고
    • PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report
    • Leifer, J. J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/~leifer.
    • (2001) Operational congruences for reactive systems , pp. 521
    • Leifer, J.J.1
  • 55
    • 84885204671 scopus 로고    scopus 로고
    • Deriving bisimulation congruences for reactive systems
    • Lecture Notes in Computer Science, Springer-Verlag
    • Leifer, J. J. and Milner, R. (2000), Deriving bisimulation congruences for reactive systems. In: Proc. CONCUR 2000,11th International Conference on Concurrency Theory, Lecture Notes in Computer Science 1877, Springer-Verlag, 243-258. Available athttp://pauillac.inria.fr/~leifer.
    • (2000) Proc. CONCUR 2000,11Th International Conference on Concurrency Theory , vol.1877 , pp. 243-258
    • Leifer, J.J.1    Milner, R.2
  • 57
    • 0027113376 scopus 로고
    • Conditional rewriting logic as a unified model of concurrency
    • Meseguer, J. (1992), Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96, 73-155.
    • (1992) Theoretical Computer Science , vol.96 , pp. 73-155
    • Meseguer, J.1
  • 59
    • 0018455064 scopus 로고
    • Concurrent processes and their syntax
    • Milne, G. and Milner, R. (1979), Concurrent processes and their syntax. J. ACM 26, 302-321.
    • (1979) J. ACM , vol.26 , pp. 302-321
    • Milne, G.1    Milner, R.2
  • 60
    • 84976743379 scopus 로고
    • Flow graphs and flow algebras
    • Milner, R. (1979), Flow graphs and flow algebras. J. ACM 26, 794-818.
    • (1979) J. ACM , vol.26 , pp. 794-818
    • Milner, R.1
  • 62
    • 0030517494 scopus 로고    scopus 로고
    • Calculi for interaction
    • Milner, R. (1996), Calculi for interaction. Acta Informatica33, 707-737.
    • (1996) Acta Informatica , vol.33 , pp. 707-737
    • Milner, R.1
  • 64
    • 84944053907 scopus 로고    scopus 로고
    • Bigraphical reactive systems
    • Lecture Notes in Computer Science, Springer-Verlag
    • Milner, R. (2001), Bigraphical reactive systems. In: Proc. 12th International Conference on Concurrency Theory, Lecture Notes in Computer Science 2154, Springer-Verlag, 16-35.
    • (2001) Proc. 12Th International Conference on Concurrency Theory , vol.2154 , pp. 16-35
    • Milner, R.1
  • 66
    • 84855204888 scopus 로고    scopus 로고
    • Pure bigraphs: Structure and dynamics
    • Milner, R. (2006), Pure bigraphs: Structure and dynamics. Information and Computation204, 60-122.
    • (2006) Information and Computation , vol.204 , pp. 60-122
    • Milner, R.1
  • 67
    • 33745726972 scopus 로고    scopus 로고
    • Ubiquitous computing: Shall we understand it?
    • (The first Computer Journal Lecture.)
    • Milner, R. (2006), Ubiquitous computing: Shall we understand it?The Computer Journal 49, 383-389. (The first Computer Journal Lecture.)
    • (2006) The Computer Journal , vol.49 , pp. 383-389
    • Milner, R.1
  • 69
    • 84945924340 scopus 로고
    • Concurrency and automata on infinite sequences
    • Lecture Notes in Computer Science, Springer-Verlag
    • Park, D. (1981), Concurrency and automata on infinite sequences. In: Proc. 5th GI-Conference Conference on Theoretical Computer Science, Lecture Notes in Computer Science 104, Springer-Verlag, 167-183.
    • (1981) Proc. 5Th Gi-Conference Conference on Theoretical Computer Science , vol.104 , pp. 167-183
    • Park, D.1
  • 70
    • 85031146080 scopus 로고    scopus 로고
    • The fusion calculus: Expressiveness and symmetry in mobile processes
    • IEEE Computer Society Press
    • Parrow, J. and Victor, B. (1998), The fusion calculus: expressiveness and symmetry in mobile processes. In: Proceedings of Logics in Computer Science 1998, IEEE Computer Society Press, 176-185.
    • (1998) Proceedings of Logics in Computer Science , pp. 176-185
    • Parrow, J.1    Victor, B.2
  • 71
    • 0004068620 scopus 로고
    • Institut für Instrumentelle Informatik, Schriften des IIM
    • Petri, C. (1962), Kommunikation mit Automaten. Institut für Instrumentelle Informatik, Schriften des IIM 2, 1962.
    • (1962) Kommunikation Mit Automaten , pp. 2
    • Petri, C.1
  • 72
    • 84974715948 scopus 로고
    • Stochastic π-calculus
    • Priami, C. (1995), Stochastic π-calculus. The Computer Journal38(6), 578-589.
    • (1995) The Computer Journal , vol.38 , Issue.6 , pp. 578-589
    • Priami, C.1
  • 73
    • 0035235039 scopus 로고    scopus 로고
    • Representation and simulation of biochemical processes using the π-calculus process algebra
    • Regev, A., Silverman, W. and Shapiro, E. (2001), Representation and simulation of biochemical processes using the π-calculus process algebra. In: Proc. Pacific Symposium of Biocomputing 2001 (PSB2001), Vol. 6, 459-470.
    • (2001) Proc. Pacific Symposium of Biocomputing 2001 (PSB2001) , vol.6 , pp. 459-470
    • Regev, A.1    Silverman, W.2    Shapiro, E.3
  • 77
    • 0037028904 scopus 로고    scopus 로고
    • From rewrite rules to bisimulation congruences
    • Sewell, P. (2002), From rewrite rules to bisimulation congruences. Theoretical Computer Science274, 183-230.
    • (2002) Theoretical Computer Science , vol.274 , pp. 183-230
    • Sewell, P.1
  • 78
    • 40249108265 scopus 로고    scopus 로고
    • Amuse: Autonomic management of ubiquitous e-health systems
    • John Wiley & Sons
    • Sloman, M. et al. (2007), AMUSE: Autonomic management of ubiquitous e-health systems. In: Concurrency and Computation: Practice and Experience, John Wiley & Sons.
    • (2007) Concurrency and Computation: Practice and Experience
    • Sloman, M.1
  • 80
    • 0001853125 scopus 로고
    • The computer for the 21st century
    • Weiser, M. (1991), The computer for the 21st century. Sci. Am. 265(3), 94-104.
    • (1991) Sci. Am , vol.265 , Issue.3 , pp. 94-104
    • Weiser, M.1
  • 81
    • 85015121386 scopus 로고    scopus 로고
    • Nomadic pict: Language and infrastructure design for mobile agents
    • Palm Springs, California
    • Wojciechowski, P. T and Sewell, P. (1999), Nomadic Pict: Language and infrastructure design for mobile agents. In: Proc. ASA/MA, Palm Springs, California.
    • (1999) Proc. ASA/MA
    • Wojciechowski, P.T.1    Sewell, P.2


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