Towards the Typing of Resource Deployment
暂无分享,去创建一个
[1] Simon J. Gay,et al. Subtyping for session types in the pi calculus , 2005, Acta Informatica.
[2] Peter Dybjer,et al. Dependent Types at Work , 2009, LerNet ALFA Summer School.
[3] Cosimo Laneve,et al. The Must Preorder Revisited , 2007, CONCUR.
[4] Cosimo Laneve,et al. A framework for deadlock detection in core ABS , 2015, Software & Systems Modeling.
[5] Walter Vogler,et al. Bisimulation on Speed: A Unified Approach , 2005, FoSSaCS.
[6] Frank S. de Boer,et al. A Complete Guide to the Future , 2007, ESOP.
[7] Elvira Albert,et al. Quantified Abstractions of Distributed Systems , 2013, IFM.
[8] Luís Soares Barbosa,et al. Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures , 2009, LerNet ALFA Summer School.
[9] Luc Moreau,et al. Resource aware programming , 2005, TOPL.
[10] Reiner Hähnle,et al. ABS: A Core Language for Abstract Behavioral Specification , 2010, FMCO.
[11] Martin Hofmann,et al. Automatic Type Inference for Amortised Heap-Space Analysis , 2013, ESOP.
[12] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[13] Cristina Cerschi Seceleanu,et al. Embedded Systems Resources: Views on Modeling and Analysis , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
[14] Ajitha Rajan,et al. Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.
[15] Martin Hofmann,et al. Multivariate amortized resource analysis , 2011, POPL '11.
[16] Frank D. Valencia,et al. Formal Methods for Components and Objects , 2002, Lecture Notes in Computer Science.
[17] Einar Broch Johnsen,et al. Validating Timed Models of Deployment Components with Parametric Concurrency , 2010, FoVeOOS.
[18] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[19] David S. Rosenblum,et al. Model checking service compositions under resource constraints , 2007, ESEC-FSE '07.
[20] Cosimo Laneve,et al. Deadlock Analysis of Unbounded Process Networks , 2014, CONCUR.
[21] Naoki Kobayashi,et al. Resource Usage Analysis for the Pi-Calculus , 2006, VMCAI.
[22] Randy H. Katz,et al. A view of cloud computing , 2010, CACM.
[23] Thorsten von Eicken,et al. JRes: a resource accounting interface for Java , 1998, OOPSLA '98.
[24] Brian Campbell,et al. Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.
[25] Hajo A. Reijers,et al. Analysis of resource-constrained processes with colored petri nets , 2005 .
[26] Cosimo Laneve,et al. Deadlock Analysis of Concurrent Objects: Theory and Practice , 2013, IFM.
[27] Kim G. Larsen,et al. On Modal Refinement and Consistency , 2007, CONCUR.
[28] Bernhard Beckert,et al. Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers , 2011, FoVeOOS.
[29] Daniele Gorla,et al. CONCUR 2014 – Concurrency Theory , 2014, Lecture Notes in Computer Science.
[30] Einar Broch Johnsen,et al. Dynamic Resource Reallocation between Deployment Components , 2010, ICFEM.