Explicit fusions

Theoretical Computer Science

Volumn 340, Issue 3, 2005, Pages 606-630

  Wischik, Lucian ^a   Gardner, Philippa ^b  

^a MICROSOFT   (United States)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; EMBEDDED SYSTEMS; FUNCTIONS;

BISIMULATION; EXPLICIT FUSIONS; FUSION CALCULUS; LAMBDA CALCULUS;

COMPUTER SCIENCE;

EID: 23844506244     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.03.017     Document Type: Conference Paper

References (32)

1. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy Explicit substitutions J. Funct. Program. 1 4 1991 375 416 http://research.microsoft.com/ Users/luca/Papers/ExplicitSub.pdf
2. G. Berry, and G. Boudol The chemical abstract machine Theoret. Comput. Sci. 96 1 1992 217 248 http://www-sop.inria.fr/meije/personnel/Gerard.Berry/ cham.ps
3. M. Boreale, M. Buscemi, U. Montanari, D-fusion: a distinctive fusion calculus, in: APLAS 2004, Lecture Notes in Computer Science, Vol. 3302, pp. 296-310.
4. J. Engelfriet, and T. Gelsema Multisets and structural congruence of the pi-calculus with replication Theoret. Comput. Sci. 211 1-2 1999 311 337 http://www.elsevier.com/cas/tree/store/tcs/sub/1999/211/1-2/2715.pdf
5. C. Fournet, Lévy, A. Schmitt, An asynchronous, distributed implementation of mobile ambients, in: Proceedings of IFIP TCS 2000, Lecture Notes in Computer Science, Vol. 1872, pp. 348-364. http://research.microsoft. com/~fournet/papers/implementation-of-ambients-tcs.pdf
6. Y. Fu, The chi-calculus. In ICAPDC 1997, IEEE, Computer Society Press, pp. 74-81.
7. Y. Fu, Bisimulation lattice of chi processes, in: ASIAN 1998, Lecture Notes in Computer Science, Vol. 1538, pp. 245-262. http://link.springer-ny.com/ link/service/series/0558/bibs/1538/15380245.htm
8. P. Gardner, C. Laneve, L. Wischik, The fusion machine, in: CONCUR 2002, Lecture Notes in Computer Science, Vol. 2421, pp. 418-433. http://www.wischik. com/lu/research/fm.html
9. P. Gardner, C. Laneve, L. Wischik, Linear forwarders, in: CONCUR 2003, Lecture Notes in Computer Science, Vol. 2761, pp. 415-430. http://www.wischik. com/lu/research/linfwd.html
10. P. Gardner, L. Wischik, Symmetric action calculi (abstract), unpublished manuscript, 1999. http://www.wischik.com/lu/research/sac.html
11. P. Gardner, L. Wischik, Explicit fusions, in: MFCS 2000, Lecture Notes in Computer Science, Vol. 1893, pp. 373-382. http://www.wischik.com/lu/research/ explicit-fusions.html
12. T. Heindel. Cyclic lambda-graph reduction (call-by-need) and their process semantics, Master's Thesis, University of Tuebingen, 2003.
13. M. Hennessy, and H. Lin Symbolic bisimulations Theoret. Comput. Sci. 138 2 1995 353 389
14. K. Honda, and N. Yoshida On reduction-based process semantics Theoret. Comput. Sci. 152 2 1995 437 486 ftp://ftp.dcs.qmw.ac.uk/lfp/kohei/red-sem.ps.gz
15. K. Honda, Elementary structures in process theory (1): sets with renaming. Math. Struct. Comput. Sci. 2001. ftp://ftp.dcs.qmw.ac.uk/lfp/kohei/ps. ps.gz
16. C. Laneve, J. Parrow, B. Victor, Solo diagrams, in: TACS 2001, Lecture Notes in Computer Science, Vol. 2215, pp. 127-144. http://www.docs.uu.se/ ~victor/tr/solodiagrams.shtml
17. C. Laneve, B. Victor, Solos in concert, in: ICALP'99, Lecture Notes in Computer Science, Vol. 1644, pp. 513-523. http://www.docs.uu.se/~victor/tr/ solos.shtml
18. M. Merro, On the expressiveness of chi, update, and fusion calculi, in: EXPRESS 1998, Electronic Notes in Theoretical Computer Science, Vol. 16.2, Elsevier Science Publishers. http://www.elsevier.nl/locate/entcs/volume16.2.html
19. R. Milner Functions as processes Math. Struct. Comput. Sci. 2 2 1992 119 141
20. R. Milner Calculi for interaction Acta Inform. 33 8 1996 707 737 ftp://ftp.cl.cam.ac.uk/users/rm135/ac9.ps
21. R. Milner Communicating and Mobile Systems: The Pi-Calculus 1999 Cambridge University Press Cambridge
22. J. Niehren, M. Mueller, Constraints for free in concurrent computation, in: Asian Computing Science Conference, Lecture Notes in Computer Science, Vol. 1023, 1995, pp. 171-186. ftp://ps-ftp.dfki.uni-sb.de/pub/papers/ ProgrammingSysLab/ConstraintsFree.ps.Z
23. J. Parrow, B. Victor, The fusion calculus: expressiveness and symmetry in mobile processes, in: LICS '98, IEEE, Computer Society Press, pp. 176-185. http://www.docs.uu.se/~victor/tr/fusion.shtml
24. D. Sangiorgi Pi-calculus, internal mobility and agent-passing calculi Theoret. Comput. Sci. 167 1-2 1996 235 275 http://www.inria.fr/RRRT/RR-2539.html
25. D. Sangiorgi A theory of bisimulation for the pi-calculus Acta Inform. 33 1 1996 69 97 ftp://ftp-sop.inria.fr/meije/theorie-par/davides/sub.ps.gz
26. R. Schweimeier, Categorical and graphical models of programming languages, Ph.D. Thesis, University of Sussex, 2001.
27. A. Unyapoth, and P. Sewell Nomadic pict: correct communication infrastructure for mobile computation ACM SIGPLAN Notices 36 3 2001 116 127 http://www.acm.org/pubs/citations/proceedings/plan/360204/p116-unyapoth
28. B. Victor, J. Parrow, Concurrent constraints in the fusion calculus, in: ICALP '98, Lecture Notes in Computer Science, Vol. 1443, pp. 455-469. http://www.docs.uu.se/~victor/tr/ccfc.shtml
29. L. Wischik, Explicit fusions: theory and implementation, Ph.D. Thesis, University of Cambridge, 2001. http://www.wischik.com/lu/research/efti.html
30. L. Wischik, Old names for nu, 2004, Presented at Dagstuhl Seminary 04241. http://www.wischik.com/lu/research/oldnames.html
31. L. Wischik, P. Gardner, Strong bisimulation for the explicit fusion calculus, in: FOSSACS 2004, Lecture Notes in Computer Science, Vol. 2987, pp. 484-498. http://www.wischik.com/lu/research/eft.html
32. L. Wischik, D. Wischik, A reliable protocol for synchronous rendezvous (note), Technical Report 2004-1, University of Bologna, 2004. http://www.wischik.com/lu/research/verona.html