-
3
-
-
0004080346
-
-
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
-
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
-
7
-
-
24944451501
-
Mobile distributed programming in x-klaim
-
Lecture Notes in Computer Science, Springer-Verlag
-
Bettini, L. and De Nicola, R. (2005), Mobile distributed programming in X-Klaim. In: SFM-05:Moby, 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing, Lecture Notes in Computer Science 3465, Springer-Verlag, 29-68.
-
(2005)
SFM-05:Moby, 5Th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing
, vol.3465
, pp. 29-68
-
-
Bettini, L.1
De Nicola, R.2
-
8
-
-
0021870594
-
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
-
10
-
-
34548847875
-
Bigraphical programming languages for pervasive computing
-
Birkedal, L., Bundgaard, M., Damgaard, T., Debois, S., Elsborg, E., Glenstrup, A., Hildebrandt, T., Milner, R. and Niss, H. (2006), Bigraphical programming languages for pervasive computing. In: Proc. International Workshop on Combining Theory and Systems Building in Pervasive Computing, 653-658.
-
(2006)
Proc. International Workshop on Combining Theory and Systems Building in Pervasive Computing
, pp. 653-658
-
-
Birkedal, L.1
Bundgaard, M.2
Damgaard, T.3
Debois, S.4
Elsborg, E.5
Glenstrup, A.6
Hildebrandt, T.7
Milner, R.8
Niss, H.9
-
11
-
-
33745772130
-
Bigraphical models of context-aware systems
-
Lecture Notes in Computer Science
-
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T. and Niss, H. (2006), Bigraphical models of context-aware systems. In: Proc. 9th International Conference on Foundations of Software Science and Computation Structure, Lecture Notes in Computer Science 3921, 187-201.
-
(2006)
Proc. 9Th International Conference on Foundations of Software Science and Computation Structure
, vol.3921
, pp. 187-201
-
-
Birkedal, L.1
Debois, S.2
Elsborg, E.3
Hildebrandt, T.4
Niss, H.5
-
12
-
-
34250848225
-
Matching of bigraphs
-
Electronic Notes in Theoretical Computer Science, Elsevier
-
Birkedal, L., Damgaard, T., Glenstrup, A. and Milner, R. (2007), Matching of bigraphs. In: Proc. Workshop on Graph Transformation for Verification and Concurrency, Electronic Notes in Theoretical Computer Science 175, Elsevier, 3-19.
-
(2007)
Proc. Workshop on Graph Transformation for Verification and Concurrency
, vol.175
, pp. 3-19
-
-
Birkedal, L.1
Damgaard, T.2
Glenstrup, A.3
Milner, R.4
-
13
-
-
0021465083
-
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
-
14
-
-
54249103572
-
On the construction of sorted reactive systems
-
Lecture Notes in Computer Science
-
Birkedal, L., Debois, S. and Hildebrandt, T. (2008), On the construction of sorted reactive systems. In: Proc. 19th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science 5201, 218-232.
-
(2008)
Proc. 19Th International Conference on Concurrency Theory (CONCUR)
, vol.5201
, pp. 218-232
-
-
Birkedal, L.1
Debois, S.2
Hildebrandt, T.3
-
15
-
-
33646717084
-
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
-
17
-
-
45749109416
-
Formalising higher-order mobile embedded business processes with binding bigraphs
-
Lecture Notes in Computer Science
-
Bundgaard, M., Glenstrup, A., Hildebrandt, T., Hpjsgaard, E. and Niss, H. (2008), Formalising higher-order mobile embedded business processes with binding bigraphs. In: Proc. 10th International Conference on Coordination Languages, Lecture Notes in Computer Science 5052, 83-99.
-
(2008)
Proc. 10Th International Conference on Coordination Languages
, vol.5052
, pp. 83-99
-
-
Bundgaard, M.1
Glenstrup, A.2
Hildebrandt, T.3
Hpjsgaard, E.4
Niss, H.5
-
19
-
-
0038460668
-
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
-
20
-
-
0037842867
-
-
University of Cambridge Computer Laboratory, Technical Report
-
Cattani, G. L., Leifer, J. J. and Milner, R. (2000), Contexts and embeddings for closed shallow action graphs. University of Cambridge Computer Laboratory, Technical Report 496.
-
(2000)
Contexts and Embeddings for Closed Shallow Action Graphs
, pp. 496
-
-
Cattani, G.L.1
Leifer, J.J.2
Milner, R.3
-
21
-
-
0034539093
-
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
-
22
-
-
42949169671
-
Priniciples of maude
-
In: J. Meseguer (ed.), Electronic Notes in Theoretical Computer Science, Elsevier
-
Clavel, M., Eker, S., Lincoln, P. and Meseguer, J. (1996), Priniciples of Maude. In: J. Meseguer (ed.)Proc. First International Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science 4, Elsevier, 1-25.
-
(1996)
Proc. First International Workshop on Rewriting Logic and its Applications
, vol.4
, pp. 1-25
-
-
Clavel, M.1
Eker, S.2
Lincoln, P.3
Meseguer, J.4
-
23
-
-
26444562335
-
Spatial logics for bigraphs
-
Lecture Notes in Computer Science, Springer-Verlag
-
Conforti, G., Macedonio, D. and Sassone, V. (2005), Spatial logics for bigraphs. In: International Conference on Automata, Languages and Programming, Lecture Notes in Computer Science 3580, Springer-Verlag, 766-778.
-
(2005)
International Conference on Automata, Languages and Programming
, vol.3580
, pp. 766-778
-
-
Conforti, G.1
Macedonio, D.2
Sassone, V.3
-
24
-
-
33746234069
-
Bigraphical logics for xml
-
Conforti, G., Macedonio, D. and Sassone, V. (2005), Bigraphical Logics for XML. In: Proc. 13th Italian Symposium on Advanced Datebase Systems (SEBD), 392-399.
-
(2005)
Proc. 13Th Italian Symposium on Advanced Datebase Systems (SEBD)
, pp. 392-399
-
-
Conforti, G.1
Macedonio, D.2
Sassone, V.3
-
25
-
-
33847316620
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
34
-
-
84925814501
-
Explicit fusions
-
Lecture Notes in Computer Science, SpringerVerlag
-
Gardner, P. and Wischik, L. (2000), Explicit fusions. In: Proc. Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 1893, SpringerVerlag, 373-382.
-
(2000)
Proc. Mathematical Foundations of Computer Science
, vol.1893
, pp. 373-382
-
-
Gardner, P.1
Wischik, L.2
-
35
-
-
33847608396
-
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
-
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
-
37
-
-
40949119819
-
An algebra for directed bigraphs
-
Electronic Notes in Theoretical Computer Science
-
Grohmann, D. and Miculan, M. (2008), An algebra for directed bigraphs. In: Proc. 4th International Workshop in Computing with Terms and Graphs, Electronic Notes in Theoretical Computer Science203(1), 49-63.
-
(2008)
Proc. 4Th International Workshop in Computing with Terms and Graphs
, vol.203
, Issue.1
, pp. 49-63
-
-
Grohmann, D.1
Miculan, M.2
-
40
-
-
0021974161
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
-
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
-
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
-
56
-
-
33845599006
-
Transition systems, link graphs and petri nets
-
Leifer, J. J. and Milner, R. (2006), Transition systems, link graphs and Petri nets. Mathematical Structures in Computer Science16, 989-1047.
-
(2006)
Mathematical Structures in Computer Science
, vol.16
, pp. 989-1047
-
-
Leifer, J.J.1
Milner, R.2
-
57
-
-
0027113376
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
68
-
-
44049113210
-
A calculus of mobile processes, parts i and ii
-
Milner, R., Parrow, J. and Walker D. (1992), A calculus of mobile processes, Parts I and II. Journal of Information and Computation 100, 1-40 and 41-77.
-
(1992)
Journal of Information and Computation
, vol.100
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
69
-
-
84945924340
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
83
-
-
51749088301
-
Abigraphical model of wsbpel
-
IEEE Computer Society
-
Zhang, M., Shi, L., Zhu, L., Wang, Y., Feng, L. and Pu, F. (2008), Abigraphical model of WSBPEL. In: 2nd Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 117-120.
-
(2008)
2nd Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
, pp. 117-120
-
-
Zhang, M.1
Shi, L.2
Zhu, L.3
Wang, Y.4
Feng, L.5
Pu, F.6
|