Z. Cao
2006
More on Bisimulations for Higher Order π-Calculus
L. Aceto
A. In\'golfsdóttir
Proceedings of FOSSACS2006
LNCS
3921
63–78
10.1007/11690634_5
Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006.
A. Jeffrey
J. Rathke
2005
Contextual equivalence for higher-order pi-calculus revisited
Logical Methods in Computer Science
1(1:4)
10.2168/LMCS-1(1:4)2005
I. Lanese
J. A. Pérez
D. Sangiorgi
A. Schmitt
2010
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Proceedings of ICALP 2010
LNCS
Springer Verlag
442–453
10.1007/978-3-642-14162-1_37
I. Lanese
J. A. Pérez
D. Sangiorgi
A. Schmitt
2011
On the Expressiveness and Decidability of Higher-Order Process Calculi
Information and Computation
209(2)
198–226
10.1016/j.ic.2010.10.001
I. Lanese
J.A. Perez
D. Sangiorgi
A. Schmitt
2008
On the Expressiveness and Decidability of Higher-Order Process Calculi
Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
IEEE Computer Society
145–155
10.1109/LICS.2008.8
Journal version in LPSS10a
R. Milner
1992
Functions as Processes
Mathematical Structures in Computer Science
2(2)
119–141
10.1017/S0960129500001407
Research Report 1154, INRIA, Sofia Antipolis, 1990
D. Sangiorgi
1992
Expressing Mobility in Process Algebras: First-order and Higher-order Paradigms
Phd thesis
University of Edinburgh
D. Sangiorgi
1992
From π-Calculus to Higher-Order π-Calculus—and Back
Proceedings of TAPSOFT '93
LNCS
668
Springer Verlag
151–166
10.1007/3-540-56610-4_62
D. Sangiorgi
1996
Bisimulation for Higher-order Process Calculi
Information and Computation
131(2)
141–178
10.1006/inco.1996.0096
Preliminary version in proceedings of PROCOMET'94 (IFIP Working Conference on Programming Concepts, Methods and Calculi), pages 207-224, North Holland, 1994
D. Sangiorgi
1996
Pi-calculus, Internal Mobility and Agent-Passing Calculi
Theoretical Computer Science
167(2)
10.1016/0304-3975(96)00075-8
Extracts of parts of the material contained in this paper can be found in the Proceedings of TAPSOFT'95 and ICALP'95
D. Sangiorgi
1998
On the Bisimulation Proof Method
Mathematical Structures in Computer Science
8(6)
447–479
10.1017/S0960129598002527
An extended abstract in Proceedings of MFCS'95, LNCS 969, pp. 479-488, Springer Verlag
D. Sangiorgi
N. Kobayashi
E. Sumii
2011
Environmental bisimulations for higher-order languages
ACM Transactions on Programming Languages and Systems
33(1)
5
10.1145/1889997.1890002
D. Sangiorgi
D. Walker
2001
The Pi-calculus: a Theory of Mobile Processes
Cambridge Universtity Press
B. Thomsen
1990
Calculi for Higher Order Communicating Systems
Phd thesis
Department of Computing, Imperial College
B. Thomsen
1993
Plain CHOCS, a Second Generation Calculus for Higher-Order Processes
Acta Informatica
30(1)
1–59
10.1007/BF01200262
J.-L. Vivas
M. Dam
1998
From Higher-Order Pi-Calculus to Pi-Calculus in the Presence of Static Operators
Proceedings of the 9th International Conference on Concurrency Theory
LNCS
1466
115–130
10.1007/BFb0055619
Nice, France, September 8-11, 1998
Xian Xu
2012
Distinguishing and Relating Higher-order and First-order Processes by Expressiveness
Acta Informatica
49(7-8)
445–484
10.1007/s00236-012-0168-9