On the statistical thermodynamics of reversible communicating processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6859 LNCS, Issue , 2011, Pages 1-18

  Bacci, Giorgio ^a   Danos, Vincent ^b   Kammar, Ohad ^b  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATING PROCESS; ENERGY COST; ENERGY PARAMETERS; EQUILIBRIUM STATE; GRAND CANONICAL ENSEMBLE; LOWER BOUNDS; METROPOLIS-HASTINGS ALGORITHM; PROBABILISTIC INTERPRETATION; STATISTICAL PHYSICS;

ALGEBRA; COMPUTER SCIENCE; QUANTUM THEORY; STATISTICAL MECHANICS;

THERMODYNAMICS;

EID: 80053004921     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22944-2_1     Document Type: Conference Paper

References (19)

1. Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292-307. Springer, Heidelberg (2004)
2. Danos, V., Krivine, J.: Transactions in RCCS. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 398-412. Springer, Heidelberg (2005)
3. Danos, V., Krivine, J., Tarissan, F.: Self-assembling trees. Electr. Notes Theor. Comput. Sci. 175(1), 19-32 (2007)
4. Danos, V., Oury, N.: Equilibrium and termination. In: Cooper, S.B., Panangaden, P., Kashefi, E. (eds.) Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics. EPTCS, vol. 26, pp. 75-84 (2010)
5. Danos, V., Oury, N.: Equilibrium and termination II: the case of Petri Nets. Mathematical Structures in Computer Science (to appear, 2011)
6. Demangeon, R., Hirschkoff, D., Kobayashi, N., Sangiorgi, D.: On the complexity of termination inference for processes. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 140-155. Springer, Heidelberg (2008)
7. Diaconis, P.: The Markov chain Monte-Carlo revolution. AMS 46(2), 179-205 (2009)
8. Krivine, J.: Algébres de Processus Réversible - Programmation Concurrente Déclarative. Ph.D. thesis, Université Paris 6 & INRIA Rocquencourt (November 2006)
9. Krivine, J.: A verification algorithm for declarative concurrent programming. CoRR abs/cs/0606095 (2006)
10. Kwiatkowski, M., Stark, I.: The continuous π-calculus: A process algebra for biochemical modelling. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 103-122. Springer, Heidelberg (2008)
11. Lanese, I., Mezzina, C.A., Stefani, J.-B.: Reversing higher-order pi. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 478-493. Springer, Heidelberg (2010)
12. Lévy, J.J.: Réductions correctes et optimales dans le λ-calcul. Ph.D. thesis, Thèse de doctorat d'État, Université Paris 7 (1978)
13. Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A., Teller, E., et al.: Equation of state calculations by fast computing machines. The Journal of Chemical Physics 21(6), 1087 (1953)
14. Milner, R.: Communication and concurrency. International Series on Computer Science. Prentice Hall, Englewood Cliffs (1989)
15. Norris, J.: Markov chains. Cambridge University Press, Cambridge (1998)
16. Ollivier, J., Shahrezaei, V., Swain, P.: Scalable rule-based modelling of allosteric proteins and biochemical networks. PLoS Computational Biology 6(11) (2010)
17. Prasad, K.V.S.: Combinators and bisimulation proofs for restartable systems. Ph.D. thesis, University of Edinburgh (1987)
18. Schmidt, M.: Generalized j-factorial functions, polynomials, and applications. Journal of Integer Sequences 13(2), 3 (2010)
19. Streater, R.: Statistical dynamics. Imperial College Press, London (1995)