-
3
-
-
24944431796
-
Communication and mobility control in boxed ambients
-
Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and mobility control in boxed ambients. Information and Computation 202 (2005)
-
(2005)
Information and Computation
, vol.202
-
-
Bugliesi, M.1
Crafa, S.2
Merro, M.3
Sassone, V.4
-
4
-
-
84947919695
-
Mobile ambients
-
Nivat M. (ed.) FOSSACS 1998. Springer, Heidelberg
-
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.1378, pp. 140-155. Springer, Heidelberg (1998)
-
(1998)
LNCS
, vol.1378
, pp. 140-155
-
-
Cardelli, L.1
Gordon, A.D.2
-
5
-
-
23144461963
-
The Seal Calculus
-
Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal Calculus. Information and Computation 201(1), 1-54 (2005)
-
(2005)
Information and Computation
, vol.201
, Issue.1
, pp. 1-54
-
-
Castagna, G.1
Vitek, J.2
Zappa Nardelli, F.3
-
6
-
-
33744909389
-
Extending howe's method to early bisimulations for typed mobile embedded resources with local names
-
Sarukkai, S., Sen, S. (eds.) Springer, Heidelberg
-
Godskesen, J.C., Hildebrandt, T.: Extending howe's method to early bisimulations for typed mobile embedded resources with local names. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005, vol.3821, pp. 140-151. Springer, Heidelberg (2005)
-
(2005)
FSTTCS 2005
, vol.3821
, pp. 140-151
-
-
Godskesen, J.C.1
Hildebrandt, T.2
-
8
-
-
29044443804
-
Safedpi: A language for controlling mobile code
-
Hennessy, M., Rathke, J., Yoshida, N.: Safedpi: a language for controlling mobile code. Acta Inf. 42(4-5) (2005)
-
(2005)
Acta Inf.
, vol.42
, Issue.4-5
-
-
Hennessy, M.1
Rathke, J.2
Yoshida, N.3
-
9
-
-
15844380729
-
-
Technical Report ITU-TR- 2004-2052, IT University of Copenhagen
-
Hildebrandt, T., Godskesen, J.C., Bundgaard, M.: Bisimulation congruences for Homer - a calculus of higher order mobile embedded resources. Technical Report ITU-TR-2004-2052, IT University of Copenhagen (2004)
-
(2004)
Bisimulation Congruences for Homer - A Calculus of Higher Order Mobile Embedded Resources
-
-
Hildebrandt, T.1
Godskesen, J.C.2
Bundgaard, M.3
-
10
-
-
0000627561
-
Proving congruence of bisimulation in functional programming languages
-
Howe, D.J.: Proving congruence of bisimulation in functional programming languages. Information and Computation 124(2), 103-112 (1996)
-
(1996)
Information and Computation
, vol.124
, Issue.2
, pp. 103-112
-
-
Howe, D.J.1
-
11
-
-
4243199081
-
A theory of bisimulation for a fragment of concurrent ML with local names
-
Jerey, A., Rathke, J.: A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science 323, 1-48 (2004)
-
(2004)
Theoretical Computer Science
, vol.323
, pp. 1-48
-
-
Jerey, A.1
Rathke, J.2
-
12
-
-
85018089946
-
Contextual equivalence for higher-order pi-calculus revisited
-
Jerey, A., Rathke, J.: Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science 1(1) (2005)
-
(2005)
Logical Methods in Computer Science
, vol.1
, Issue.1
-
-
Jerey, A.1
Rathke, J.2
-
13
-
-
70349853408
-
-
Technical Report RR 6773, INRIA
-
Lenglet, S., Schmitt, A., Stefani, J.B.: Howe's method for early bisimilarities. Technical Report RR 6773, INRIA (2008)
-
(2008)
Howe's Method for Early Bisimilarities
-
-
Lenglet, S.1
Schmitt, A.2
Stefani, J.B.3
-
15
-
-
70349858615
-
Normal bisimulations in process calculi with passivation
-
FoSSaCS 2009 Springer, Heidelberg
-
Lenglet, S., Schmitt, A., Stefani, J.-B.: Normal bisimulations in process calculi with passivation. In: FoSSaCS 2009. LNCS, vol.5504, pp. 257-271. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5504
, pp. 257-271
-
-
Lenglet, S.1
Schmitt, A.2
Stefani, J.-B.3
-
16
-
-
33646146147
-
Behavioral theory for mobile ambients
-
Merro, M., Zappa Nardelli, F.: Behavioral theory for mobile ambients. Journal of the ACM 52(6), 961-1023 (2005)
-
(2005)
Journal of the ACM
, vol.52
, Issue.6
, pp. 961-1023
-
-
Merro, M.1
Zappa Nardelli, F.2
-
17
-
-
84968816021
-
Barbed bisimulation
-
Kuich W. (ed.) ICALP 1992. Springer, Heidelberg
-
Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.623. Springer, Heidelberg (1992)
-
(1992)
LNCS
, vol.623
-
-
Milner, R.1
Sangiorgi, D.2
-
18
-
-
27244432607
-
Sos for higher order processes (Extended Abstract)
-
Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. Springer, Heidelberg
-
Mousavi, M., Gabbay,M.J., Reniers, M.A.: Sos for higher order processes (extended abstract). In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.3653, pp. 308-322. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3653
, pp. 308-322
-
-
Mousavi, M.1
Gabbay, M.J.2
Reniers, M.A.3
-
19
-
-
48249158292
-
Deconstructing behavioural theories of mobility
-
Springer, Heidelberg
-
Rathke, J., Sobocinski, P.: Deconstructing behavioural theories of mobility. In: IFIP TCS. IFIP, vol.273, pp. 507-520. Springer, Heidelberg (2008)
-
(2008)
IFIP TCS. IFIP
, vol.273
, pp. 507-520
-
-
Rathke, J.1
Sobocinski, P.2
-
21
-
-
0000770509
-
Bisimulation for higher-order process calculi
-
Sangiorgi, D.: Bisimulation for higher-order process calculi. Information and Computation 131(2), 141-178 (1996)
-
(1996)
Information and Computation
, vol.131
, Issue.2
, pp. 141-178
-
-
Sangiorgi, D.1
-
22
-
-
82755165784
-
Environmental bisimulations for higherorder languages
-
IEEE Computer Society, Los Alamitos
-
Sangiorgi, D., Kobayashi, N., Sumii, E.: Environmental bisimulations for higherorder languages. In: LICS 2007, pp. 293-302. IEEE Computer Society, Los Alamitos (2007)
-
(2007)
LICS 2007
, pp. 293-302
-
-
Sangiorgi, D.1
Kobayashi, N.2
Sumii, E.3
-
24
-
-
23944449086
-
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
-
Global Computing 2004 workshop
-
A. Schmitt and J.-B. Stefani. The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In Global Computing 2004 workshop, volume 3267 of LNCS, 2004.
-
(2004)
LNCS
, vol.3267
-
-
Schmitt, A.1
Stefani., J.-B.2
-
25
-
-
34547725597
-
Acute: High-level programming language design for distributed computation
-
Sewell, P., Leifer, J., Wansbrough, K., Zappa Nardelli, F., Allen-Willians, M., Habouzit, P., Vafeiadis, V.: Acute: High-level programming language design for distributed computation. Journal of Functional Programming 17(4-5) (2007)
-
(2007)
Journal of Functional Programming
, vol.17
, Issue.4-5
-
-
Sewell, P.1
Leifer, J.2
Wansbrough, K.3
Zappa Nardelli, F.4
Allen-Willians, M.5
Habouzit, P.6
Vafeiadis, V.7
-
26
-
-
0013213308
-
Plain chocs: A second generation calculus for higher order processes
-
Thomsen, B.: Plain chocs: A second generation calculus for higher order processes. Acta Informatica 30(1), 1-59 (1993)
-
(1993)
Acta Informatica
, vol.30
, Issue.1
, pp. 1-59
-
-
Thomsen, B.1
|