-
1
-
-
26444598542
-
XPi: A typed process calculus for XML messaging
-
Proc. of FMOODS'05, Springer
-
L. Acciai and M. Boreale. XPi: a typed process calculus for XML messaging. In Proc. of FMOODS'05, volume 3535 of LNCS, pages 47-66. Springer, 2005.
-
(2005)
LNCS
, vol.3535
, pp. 47-66
-
-
Acciai, L.1
Boreale, M.2
-
4
-
-
0008539659
-
Asynchrony and the π-calculus (note)
-
INRIA Sophia-Antipolis, May
-
G. Boudol. Asynchrony and the π-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, May 1992.
-
(1992)
Rapport de Recherche
, vol.1702
-
-
Boudol, G.1
-
5
-
-
33646124701
-
πduce: A process calculus with native XML datatypes
-
Proc. of Services and Formal Methods. Springer
-
A. Brown, C. Laneve and G. Meredith, πduce: a process calculus with native XML datatypes. In Proc. of Services and Formal Methods, volume 3670 of LNCS. Springer, 2005.
-
(2005)
LNCS
, vol.3670
-
-
Brown, A.1
Laneve, C.2
Meredith, G.3
-
6
-
-
0001810827
-
A process algebraic view of LINDA coordination primitives
-
N. Busi, R. Gorrieri and G. Zavattaro. A process algebraic view of LINDA coordination primitives. Theoretical Computer Science, 192(2): 167-199, 1998.
-
(1998)
Theoretical Computer Science
, vol.192
, Issue.2
, pp. 167-199
-
-
Busi, N.1
Gorrieri, R.2
Zavattaro, G.3
-
7
-
-
4544292270
-
On the expressive power of polyadic synchronisation in π-calculus
-
M. Carbone and S. Maffeis. On the expressive power of polyadic synchronisation in π-calculus. Nordic Journal of Computing, 10(2):70-98, 2003.
-
(2003)
Nordic Journal of Computing
, vol.10
, Issue.2
, pp. 70-98
-
-
Carbone, M.1
Maffeis, S.2
-
9
-
-
26844473471
-
Semantic subtyping for the π-calculus
-
IEEE Computer Society
-
G. Castagna, R. De Nicola and D. Varacca. Semantic subtyping for the π-calculus. In Proc. of LICS'05, pages 92-101. IEEE Computer Society, 2005.
-
(2005)
Proc. of LICS'05
, pp. 92-101
-
-
Castagna, G.1
De Nicola, R.2
Varacca, D.3
-
10
-
-
0001709818
-
Embedding as a tool for language comparison
-
F. de Boer and C. Palamidessi. Embedding as a tool for language comparison. Information and Computation, 108(1):128-157, 1994.
-
(1994)
Information and Computation
, vol.108
, Issue.1
, pp. 128-157
-
-
De Boer, F.1
Palamidessi, C.2
-
11
-
-
26444537441
-
On the expressive power of KLAIM-based calculi
-
Tech. Rep. 09/2004, Dip. Informatica, Univ. Roma "La Sapienza". To appear
-
R. De Nicola, D. Gorla and R. Pugliese. On the expressive power of KLAIM-based calculi. Tech. Rep. 09/2004, Dip. Informatica, Univ. Roma "La Sapienza". To appear in TCS.
-
TCS
-
-
De Nicola, R.1
Gorla, D.2
Pugliese, R.3
-
12
-
-
26444478637
-
Pattern matching over a dynamic network of tuple spaces
-
Proc. of FMOODS'05. Springer
-
R. De Nicola, D. Gorla and R. Pugliese. Pattern Matching over a Dynamic Network of Tuple Spaces. In Proc. of FMOODS'05, volume 3535 of LNCS, pages 1-14. Springer, 2005.
-
(2005)
LNCS
, vol.3535
, pp. 1-14
-
-
De Nicola, R.1
Gorla, D.2
Pugliese, R.3
-
13
-
-
0013231225
-
Expressiveness of point-to-point versus broadcast communications
-
Proc. of FCT'99. Springer
-
C. Ene and T. Muntean. Expressiveness of point-to-point versus broadcast communications. In Proc. of FCT'99, volume 1684 of LNCS, pages 258-268. Springer, 1999.
-
(1999)
LNCS
, vol.1684
, pp. 258-268
-
-
Ene, C.1
Muntean, T.2
-
16
-
-
85033776866
-
Impossibility and universality results for wait-free synchronization
-
ACM Press
-
M. Herlihy. Impossibility and universality results for wait-free synchronization. In Proc. of PODC'88, pages 276-290. ACM Press, 1988.
-
(1988)
Proc. of PODC'88
, pp. 276-290
-
-
Herlihy, M.1
-
17
-
-
84983016110
-
An object calculus for asynchronous communication
-
Proc. of ECOOP'91. Springer
-
K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proc. of ECOOP'91, volume 512 of LNCS, pages 133-147. Springer, 1991.
-
(1991)
LNCS
, vol.512
, pp. 133-147
-
-
Honda, K.1
Tokoro, M.2
-
19
-
-
0000511698
-
The polyadic π-calculus: A tutorial
-
Logic and Algebra of Specification, NATO ASI, Springer
-
R. Milner. The polyadic π-calculus: A tutorial. In Logic and Algebra of Specification, volume 94 of Series F. NATO ASI, Springer, 1993.
-
(1993)
Series F.
, vol.94
-
-
Milner, R.1
-
20
-
-
84968816021
-
Barbed bisimulation
-
Proc. of ICALP'92. Springer
-
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. of ICALP'92, volume 623 of LNCS, pages 685-695. Springer, 1992.
-
(1992)
LNCS
, vol.623
, pp. 685-695
-
-
Milner, R.1
Sangiorgi, D.2
-
22
-
-
15844425952
-
Comparing the expressive power of the synchronous and the asynchronous π-calculi
-
C. Palamidessi. Comparing the expressive power of the synchronous and the asynchronous π-calculi. Mathematical Structures in Computer Science, 13(5):685-719, 2003.
-
(2003)
Mathematical Structures in Computer Science
, vol.13
, Issue.5
, pp. 685-719
-
-
Palamidessi, C.1
-
23
-
-
0010728871
-
An introduction to the π-calculus
-
Elsevier Science
-
J. Parrow. An introduction to the π-calculus. In Handbook of Process Algebra, pages 479-543. Elsevier Science, 2001.
-
(2001)
Handbook of Process Algebra
, pp. 479-543
-
-
Parrow, J.1
-
24
-
-
21244434542
-
On encoding pπ in mπ
-
Proc. of FSTTCS'98. Springer
-
P. Quaglia and D. Walker. On encoding pπ in mπ. In Proc. of FSTTCS'98, volume 1530 of LNCS, pages 42-51. Springer, 1998.
-
(1998)
LNCS
, vol.1530
, pp. 42-51
-
-
Quaglia, P.1
Walker, D.2
-
25
-
-
0000770509
-
Bisimulation in higher-order process calculi
-
D. Sangiorgi. Bisimulation in higher-order process calculi. Information and Computation, 131:141-178, 1996.
-
(1996)
Information and Computation
, vol.131
, pp. 141-178
-
-
Sangiorgi, D.1
-
26
-
-
84968720225
-
Separating concurrent languages with categories of language embeddings
-
ACM Press
-
rd STOC, pages 198-208. ACM Press, 1991.
-
(1991)
rd STOC
, pp. 198-208
-
-
Shapiro, E.1
-
27
-
-
84947920982
-
Graph types for monadic mobile processes
-
Proc. of FSTTCS'96. Springer
-
N. Yoshida. Graph types for monadic mobile processes. In Proc. of FSTTCS'96, volume 1180 of LNCS, pages 371-386. Springer, 1996.
-
(1996)
LNCS
, vol.1180
, pp. 371-386
-
-
Yoshida, N.1
-
28
-
-
0011211721
-
Towards a hierarchy of negative test operators for generative communication
-
Proc. of EXPRESS'98
-
G. Zavattaro. Towards a hierarchy of negative test operators for generative communication. In Proc. of EXPRESS'98, volume 16 of ENTCS, 1998.
-
(1998)
ENTCS
, vol.16
-
-
Zavattaro, G.1
|