E. Albert, J. Correas, G. Puebla, and G. Román-díez, Quantified Abstractions of Distributed Systems, iFM'13, pp.285-300, 2013.
DOI : 10.1007/978-3-642-38613-8_20

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. H. Katz et al., A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.
DOI : 10.1145/1721654.1721672

A. Bove and P. Dybjer, Dependent Types at Work, In LerNet ALFA Summer School Lecture Notes in Computer Science, vol.248, issue.1-2, pp.57-99, 2008.
DOI : 10.1016/S0304-3975(00)00053-0

G. Czajkowski and T. Von-eicken, JRes: A resource accounting interface for Java, Proceedings of OOPSLA, pp.21-35, 1998.

F. De-boer, D. Clarke, and E. Johnsen, A Complete Guide to the Future, Progr. Lang. and Systems, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

H. Foster, W. Emmerich, J. Kramer, J. Magee, D. S. Rosenblum et al., Model checking service compositions under resource constraints, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.225-234, 2007.
DOI : 10.1145/1287624.1287657

S. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

E. Giachino, C. A. Grazia, C. Laneve, M. Lienhardt, and P. Y. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice, iFM'13, pp.394-411, 2013.
DOI : 10.1007/978-3-642-38613-8_27

URL : https://hal.archives-ouvertes.fr/hal-00909311

E. Giachino, N. Kobayashi, and C. Laneve, Deadlock Analysis of Unbounded Process Networks, Proceedings of Concur'2014, 2014.
DOI : 10.1007/978-3-662-44584-6_6

URL : https://hal.archives-ouvertes.fr/hal-01091749

E. Giachino, C. Laneve, and M. Lienhardt, A Framework for Deadlock Detection in ABS. Software and Systems Modeling, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01229046

J. Hoffmann, K. Aehlig, and M. Hofmann, Multivariate amortized resource analysis, ACM Trans. Program. Lang. Syst, vol.34, issue.3, p.14, 2012.
DOI : 10.1145/1925844.1926427

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Hofmann and D. Rodriguez, Automatic Type Inference for Amortised Heap-Space Analysis, 22nd European Symposium on Programming, ESOP 2013, pp.593-613, 2013.
DOI : 10.1007/978-3-642-37036-6_32

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, Proc. of FMCO 2010, pp.142-164, 2011.
DOI : 10.2498/cit.2002.01.01

E. B. Johnsen, O. Owe, R. Schlatte, and S. L. Tapia-tarifa, Dynamic Resource Reallocation between Deployment Components, Proc. of ICFEM'10, pp.646-661, 2010.
DOI : 10.1007/978-3-642-16901-4_42

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. B. Johnsen, O. Owe, R. Schlatte, and S. L. Tapia-tarifa, Validating Timed Models of Deployment Components with Parametric Concurrency, Proc. of FoVeOOS'10, pp.46-60, 2011.
DOI : 10.1007/3-540-45652-X_19

N. Kobayashi, K. Suenaga, and L. Wischik, Resource usage analysis for the pi-calculus, Logical Methods in Computer Science, vol.2, issue.3, 2006.

C. Laneve and L. Padovani, The Must Preorder Revisited, Proc. CONCUR 2007, pp.212-225, 2007.
DOI : 10.1007/978-3-540-74407-8_15

G. Lüttgen and W. Vogler, Bisimulation on speed: A unified approach, Theoretical Computer Science, vol.360, issue.1-3, pp.209-227, 2006.
DOI : 10.1016/j.tcs.2006.03.004

R. Milner, A Calculus of Communicating Systems, 1982.
DOI : 10.1007/3-540-10235-3

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.41-77, 1992.
DOI : 10.1016/0890-5401(92)90009-5

L. Moreau and C. Queinnec, Resource aware programming, ACM Transactions on Programming Languages and Systems, vol.27, issue.3, pp.441-476, 2005.
DOI : 10.1145/1065887.1065891

URL : https://hal.archives-ouvertes.fr/hal-01175935

M. Netjes, W. M. Van-der-aalst, and H. A. Reijers, Analysis of resourceconstrained processes with Colored Petri Nets, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools, 2005.

M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-vincentelli, Synthesis of embedded software using free-choice Petri nets, Proc. 36th ACM/IEEE Design Automation Conference (DAC'99), pp.805-810, 1999.

A. Vulgarakis and C. C. Seceleanu, Embedded Systems Resources: Views on Modeling and Analysis, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.1321-1328, 2008.
DOI : 10.1109/COMPSAC.2008.215