{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T08:32:43Z","timestamp":1794472363766,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540210023","type":"print"},{"value":"9783540399100","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39910-0_21","type":"book-chapter","created":{"date-parts":[[2014,3,18]],"date-time":"2014-03-18T02:40:04Z","timestamp":1395110404000},"page":"436-479","source":"Crossref","is-referenced-by-count":11,"title":["A Formal Basis for Reasoning on Programmable QoS"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gianluigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"O. Angin, A. Campbell, M. Kounavis, and R. Liao. The Mobiware Toolkit: Programmable Support for Adaptive Mobile Networking. IEEE Personal Communications Magazine, August 1998.","DOI":"10.1109\/98.709367"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"L. Bettini, M. Loreti, and R. Pugliese. An infrastructure language for open nets. In Proc. of the 2002 ACM Symposium on Applied Computing (SAC\u201902), Special Track on Coordination Models, Languages and Applications. ACM Press, 2002.","DOI":"10.1145\/508791.508862"},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S Bistarelli","year":"1997","unstructured":"S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201\u2013236, March 1997.","journal-title":"Journal of the ACM"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1013609600697","volume":"8","author":"S Bistarelli","year":"2002","unstructured":"S. Bistarelli, U. Montanari, and F. Rossi. Soft constraint logic programming and generalized shortest path problems. Journal of Heuristics, 8:25\u201341, 2002.","journal-title":"Journal of Heuristics"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"S. Blake, D. Black, M. Carlson, E. Davies, Z. Wand, and W. Weiss. An architecture for differentiated services. Technical Report RFC 2475, The Internet Engineering Task Force (IETF), 1998.","DOI":"10.17487\/rfc2475"},{"key":"21_CR6","unstructured":"R. Braden, L. Zhang, S. Berson, S. Herzog, and S. Jamin. Resource reservation protocol (rsvp) \u2014 version 1 functional specification."},{"issue":"3","key":"21_CR7","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/32.798321","volume":"25","author":"L Cardelli","year":"1999","unstructured":"L. Cardelli and R. Davies. Service combinators for web computing. Software Engineering, 25(3):309\u2013316, 1999.","journal-title":"Software Engineering"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"I. Castellani and U. Montanari. Graph Grammars for Distributed Systems. In H. Ehrig, M. Nagl, and G. Rozenberg, editors, Proc. 2nd Int. Workshop on Graph-Grammars and Their Application to Computer Science, volume 153 of Lecture Notes in Computer Science, pages 20-38. Springer-Verlag, 1983.","DOI":"10.1007\/BFb0000097"},{"issue":"5","key":"21_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315\u2013330, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"21_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R Nicola De","year":"2000","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 240(1):215\u2013254, June 2000.","journal-title":"Theoretical Computer Science"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/23005.24038","volume":"34","author":"P Degano","year":"1987","unstructured":"P. Degano and U. Montanari. A model of distributed systems based of graph rewriting. Journal of the ACM, 34:411\u2013449, 1987.","journal-title":"Journal of the ACM"},{"issue":"6","key":"21_CR12","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"R Floyd","year":"1962","unstructured":"R. Floyd. Algorithm97 (shortestpath). Communication of the ACM, 5(6):345, 1962.","journal-title":"Communication of the ACM"},{"key":"21_CR13","unstructured":"I. Foster, C. Kesselman, C. Lee, R. Lindell, K. Nahrstedt, and A. Roy. A distributed resource management architecture that supports advance reservations and co-allocation. In Proceedings of the International Workshop on Quality of Service, 1999."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"D. Hirsch, P. Inverardi, and U. Montanari. Reconfiguration of software architecture styles with name mobility. In A. Porto and G.-C. Roman, editors, Coordination 2000, volume 1906 of LNCS, pages 148-163. Springer Verlag, 2000.","DOI":"10.1007\/3-540-45263-X_10"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"D. Hirsch and U. Montanari. Synchronized hyperedge replacement with name mobility: A graphical calculus for name mobility. In 12th International Conference in Concurrency Theory (CONCUR 2001), volume 2154 of LNCS, pages 121-136, Aalborg, Denmark, 2001. Springer Verlag.","DOI":"10.1007\/3-540-44685-0_9"},{"key":"21_CR16","unstructured":"C. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985. & 0-13-153289-8."},{"key":"21_CR17","unstructured":"IBM Software Group. Web services conceptual architecture. In IBM White Papers, 2000."},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"M. Koch, L. Mancini, and F. Parisi-Presicce. A formal model for role-based access control using graph transformation. In F. Cuppens, Y. Deswarte, D. Gollmann, and M. Waidner, editors, ESORICS, volume 1895 of LNCS, pages 122-139, 6th European Symposium on Research in Computer Security, 2000. Springer Verlag.","DOI":"10.1007\/10722599_8"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"M. Koch, L. Mancini, and F. Parisi-Presicce. Foundations for a graph-based approach to the specification of access control policies. In F. Honsell and M. Lenisa, editors, FoSSaCS, LNCS, Foundations of Software Science and Computation Structures, 2001. Springer Verlag.","DOI":"10.1007\/3-540-45315-6_19"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"M. Koch and F. Parise-Presicce. Describing policies with graph constraints and rules. In A. Corradini, H. Ehrig, H. Kreowski, and G. Rozenberg, editors, Graph Transformation, volume 2505 of LNCS, pages 223-238, First International Conference on Graph Transformation, Barcelona, Spain, October 2002. Springer Verlag.","DOI":"10.1007\/3-540-45832-8_18"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"B. Koenig and U. Montanari. Observational equivalence for synchronized graph rewriting. In Proc. TACS\u201901, LNCS. Springer Verlag, 2001. To appear.","DOI":"10.1007\/3-540-45500-0_7"},{"key":"21_CR22","unstructured":"B. Li. Agilos: A Middleware Control Architecture for Application-Aware Quality of Service Adaptations. PhD thesis, University of Illinois, 2000."},{"key":"21_CR23","unstructured":"R. Milner. Communication and Concurrency. Printice Hall, 1989."},{"issue":"1","key":"21_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1\u201340, 41-77, September 1992.","journal-title":"Information and Computation"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Graph rewriting and constraint solving for modelling distributed systems with synchronization. In P. Ciancarini and C. Hankin, editors, Proceedings of the First International Conference COORDINATION\u2019 96, Cesena, Italy, volume 1061 of LNCS. Springer Verlag, April 1996.","DOI":"10.1007\/3-540-61052-9_36"},{"issue":"4","key":"21_CR26","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/TNET.2002.801397","volume":"10","author":"J Sobrinho","year":"2002","unstructured":"J. Sobrinho. Algebra and algorithms for qos path computation and hop-by-hop routing in the internet. IEEE Transactions on Networking, 10(4):541\u2013550, August 2002.","journal-title":"IEEE Transactions on Networking"},{"key":"21_CR27","unstructured":"G. Winskel. Synchronization trees. Theoretical Computer Science, May 1985."},{"issue":"2","key":"21_CR28","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/65.768484","volume":"13","author":"X Xiao","year":"1999","unstructured":"X. Xiao and L. M. Ni. Internet qos: A big picture. IEEE Network, 13(2):8\u201318, Mar 1999.","journal-title":"IEEE Network"},{"issue":"2","key":"21_CR29","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1010078712316","volume":"3","author":"M Yokoo","year":"2000","unstructured":"M. Yokoo and K. Hirayama. Algorithms for Distributed Constraint Satisfaction: A Review. Autonomous Agents and Multi-Agent Systems, 3(2):185\u2013207, 2000.","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Verification: Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39910-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:36:52Z","timestamp":1558856212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39910-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540210023","9783540399100"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39910-0_21","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b12001","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}