{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:06:40Z","timestamp":1729660000895,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/cts.2007.4621739","type":"proceedings-article","created":{"date-parts":[[2008,9,16]],"date-time":"2008-09-16T16:23:49Z","timestamp":1221582229000},"page":"66-71","source":"Crossref","is-referenced-by-count":1,"title":["Towards a resource-safe Erlang"],"prefix":"10.1109","author":[{"given":"David","family":"Teller","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503303"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40965-6_14"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45694-5_20","article-title":"using ambients to control resources","volume":"2421","author":"teller","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46425-5_11"},{"key":"16","article-title":"ulm: a core programming model for global computing","author":"boudol","year":"2004","journal-title":"ESOP 04"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258962"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940888"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088376"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088366"},{"key":"21","article-title":"towards a calculus for distributed components","author":"schmitt","year":"2006","journal-title":"5th International Symposium on Formal Methods for Components and Objects (FMCO 2006)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ASAMA.1999.805388"},{"key":"20","article-title":"mobile values, new names, and secure communication","author":"fournet","year":"2001","journal-title":"The Proceedings of the 23rd ACM Symposium on Principles of Programming Languages"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61604-7_67","article-title":"a calculus of mobile agents","author":"fournet","year":"1996","journal-title":"Proceedings of the 7th International Conference on Concurrency Theory"},{"article-title":"erlang 4.7.3 reference manual","year":"1999","author":"barklund","key":"1"},{"key":"10","article-title":"an introduction to core erlang","author":"carlsson","year":"2001","journal-title":"Proceedings of the PLI'01 Erlang Workshop"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CTS.2007.4621739"},{"article-title":"tepic: a targettable, extendable pi-calculus","year":"2006","author":"teller","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088375"},{"journal-title":"A Framework for Reasoning about ERLANG","year":"2001","author":"fredlund","key":"4"},{"journal-title":"A calculus of mobile processes parts I and II","year":"1989","author":"milner","key":"9"},{"key":"8","article-title":"resources, garbage-collection and the picalculus","author":"teller","year":"2006","journal-title":"International Colloquium on Automata Languages and Programming (submitted)"}],"event":{"name":"2007 International Symposium on Collaborative Technologies and Systems (CTS)","start":{"date-parts":[[2007,5,25]]},"location":"Orlando, FL","end":{"date-parts":[[2007,5,25]]}},"container-title":["2007 International Symposium on Collaborative Technologies and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4607773\/4621707\/04621739.pdf?arnumber=4621739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T21:33:26Z","timestamp":1557783206000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4621739\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cts.2007.4621739","relation":{},"subject":[],"published":{"date-parts":[[2007,5]]}}}