Communicating by compatibility

Journal of Logic and Algebraic Programming

Volumn 75, Issue 2, 2008, Pages 167-181

  Prandi, Davide ^a   Priami, Corrado ^b,c   Quaglia, Paola ^b  

^a UNIVERSITY MAGNA GRAECIA OF CATANZARO   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL SYSTEMS; COMPUTER SIMULATION; TELECOMMUNICATION SYSTEMS; WEB SERVICES;

COMMUNICATION MECHANISM; IMMUNE SYSTEM; PROCESS CALCULI;

INFORMATION TECHNOLOGY;

EID: 40849136630     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2007.09.001     Document Type: Article

References (34)

1. Priami C., and Quaglia P. Beta binders for biological interactions. In: Danos V., and Schächter V. (Eds). Proc. 2nd Int. Workshop on Computational Methods in Systems Biology, CMSB'04. LNBI vol. 3082 (2005), Springer 21-34
2. Regev A., and Shapiro E. Cells as computations. Nature 419 (2002) 343
3. A. Regev, W. Silverman, E. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, in: Proc. of the Pacific Symposium of Biocomputing 2001, vol. 6, 2001, pp. 459-470.
4. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inform. Process. Lett. 80 1 (2001) 25-31
5. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E.Y. Bioambients: an abstraction for biological compartments. Theor. Comput. Sci. 325 1 (2004) 141-167
6. Danos V., and Laneve C. Formal molecular biology. Theor. Comput. Sci. 325 1 (2004)
7. Alberts B., Johnson A., Lewis J., Raff M., Roberts K., and Walter P. Molecular Biology of the Cell. fourth ed. (2002), Garland Science
8. Perelson A.S., and Oster G.F. Theoretical studies of clonal selection: minimal antibody repertoire size and reliability of self-non-self discrimination. J. Theor. Biol. 81 4 (1979)
9. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
10. Sangiorgi D., and Walker D. The π-Calculus: A Theory of Mobile Processes (2001), Cambridge University Press
11. Janeway C., Travers P., Walport M., and Shlomchik M. Immunobiology (2001), Garland Science
12. Jerne N.K. Clonal selection in a lymphocyte network. Cellular Selection Regulat. Immune Syst. (1974) 39-48
13. Detours V., Sulzer B., and Perelson A.S. Size and connectivity of the idiotypic network are independent of the discreteness of the affinity distribution. J. Theor. Biol. 183 (1996)
14. P. Degano, D. Prandi, C. Priami, P. Quaglia, Beta-binders for Biological quantitative experiments, in: Proc. 4th Workshop on Quantitative Aspects of Programming Languages, QAPL'06, ENTCS, vol. 164, 2006, pp. 101-117.
15. A. Romanel, L. Dematté, C. Priami, The Beta Workbench, Tech. Rep. TR-03-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, February 2007.
16. Cerami E. Web Services Essentials (2002), O'Reilly & Associates
17. W3C, Web Service Description Language (WSDL) 1.1, , World Wide Web Consortium, 2001.
18. W3C, Web Service Choreography Interface (WSCI) 1.0, , World Wide Web Consortium, 2002.
19. A. Brogi, C. Canal, E. Pimentel, A. Vallecillo, Formalizing Web service choreographies, in: Proc. 1st Int. Workshop on Web Services and Formal Methods, WSFM'04, ENTCS, vol. 105, 2004, pp. 73-94.
20. Salaün G., Bordeaux L., and Schaerf M. Describing and reasoning on Web services using process algebra. Proc. IEEE International Conference on Web Services (ICWS'04) (2004), IEEE Computer Society 43-50
21. Milner R. Communication and Concurrency, International Series in Computer Science (1989), Prentice-Hall
22. Gardner P., and Maffeis S. Modelling dynamic web data. Theor. Comput. Sci. 342 1 (2005) 104-131
23. A. Brown Jr., C. Laneve, L. Meredith, PiDuce: a process calculus with native XML datatypes, in: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, pp. 18-34.
24. M. Boreale, R. Bruni, L. Caires, R.D. Nicola, I. Lanese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. Vasconcelos, G. Zavattaro, SCC: a service centered calculus, in: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, pp. 38-57.
25. C. Guidi, R. Lucchi, R. Gorrieri, N. Busi, G. Zavattaro, SOCK: a calculus for service oriented computing, in: Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, pp. 327-338.
26. Lapadula A., Pugliese R., and Tiezzi F. A calculus for orchestration of web services. Proc. of 16th European Symposium on Programming (ESOP'07). Lecture Notes in Computer Science vol. 4421 (2007), Springer 33-47
27. In: Bravetti M., and Zavattaro G. (Eds). J. Log. Algebr. Program. 70 (2007)
28. Meredith G., and Bjorg S. Contracts and types. Commun. ACM 46 10 (2003) 41-47
29. A. Igarashi, N. Kobayashi, A generic type system for the pi-calculus, in: POPL, 2001, pp. 128-141.
30. Kobayashi N. A type system for lock-free processes. Inform. Comput. 177 2 (2002) 122-159
31. Aho A., Sethi R., and Ullman J. Compilers: Principles, Techniques, and Tools (1986), Addison-Wesley Longman Publishing
32. X. Leroy, The Objective Caml System: .
33. Hinton A., Kwiatkowska M., Norman G., and Parker D. PRISM: A tool for automatic verification of probabilistic systems. Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06). LNCS vol. 3920 (2006), Springer 441-444
34. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press