{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:20:34Z","timestamp":1738387234900,"version":"3.35.0"},"publisher-location":"Boston, MA","reference-count":17,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387784472"},{"type":"electronic","value":"9780387784489"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-0-387-78448-9_2","type":"book-chapter","created":{"date-parts":[[2008,8,5]],"date-time":"2008-08-05T17:18:44Z","timestamp":1217956724000},"page":"17-29","source":"Crossref","is-referenced-by-count":2,"title":["Towards gcm re-configuration - extending specification by norms"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Basso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bolotov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"A. Basso, A. Bolotov, A. Basukoski, V. Getov, L. Henrio and M. Urbanski. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. In Proceedings of the 3rd IEEE Conference On Intelligent Systems IS-200, 2006, IEEE.","key":"2_CR1_2","DOI":"10.1109\/IS.2006.348461"},{"key":"2_CR2_2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.entcs.2006.05.014","volume":"160","author":"T. Barros","year":"2005","unstructured":"T. Barros and L. Henrio and E. Madelaine. Verification of Distributed Hierarchical Components. In Proc. of the International Workshop on Formal Aspects of Component Software (FACS\u201905). Electronic Notes in Theor. Computer Sci. 160. pp. 41-55 (ENTCS), 2005.","journal-title":"Electronic Notes in Theor. Computer Sci"},{"doi-asserted-by":"crossref","unstructured":"Batista, T., Joolia, A. and Coulson, G. Managing Dynamic Reconfiguration in Component-based Systems Proceedings of the European Workshop on Software Architectures, June, 2005, Springer-Velag LNCS series, Vol 3527, pp 1-18.","key":"2_CR3_2","DOI":"10.1007\/11494713_1"},{"doi-asserted-by":"crossref","unstructured":"F. Baude and D. Caromel and F. Huet and L. Mestre and J. Vayssi Interactive and Descriptor-Based Deployment of Object-Oriented Grid Applications HPDC \u201902: Pro-ceedings of the 11 th IEEE International Symposium on High Performance Distributed Computing HPDC-11 p. 93, IEEE Computer Society.","key":"2_CR4_2","DOI":"10.1109\/HPDC.2002.1029907"},{"unstructured":"A. Bolotov. Clausal Resolution for Branching-Time Temporal Logic. PhD thesis, Depart-ment of Computing and Mathematics, The Manchester Metropolitan University, 2000.","key":"2_CR5_2"},{"key":"2_CR6_2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1080\/095281399146625","volume":"11","author":"A. Bolotov","year":"1999","unstructured":"A. Bolotov and M. Fisher. A Clausal Resolution Method for CTL Branching Time Temporal Logic. Journal of Experimental and Theoretical Artificial Intelligence., 11:77-93,1999.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence."},{"doi-asserted-by":"crossref","unstructured":"E. M. Clarke, A. Fehnker, S. Jha and H. Veith. Temporal Logic Model Checking., Handbook of Networked and Embedded Control Systems, 2005, pages 539-558.","key":"2_CR7_2","DOI":"10.1007\/0-8176-4404-0_23"},{"unstructured":"C. Dixon, M. Fisher, and B. Konev. Tractable Temporal Reasoning. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), pages 318-323, January 6-12th 2007.","key":"2_CR8_2"},{"doi-asserted-by":"crossref","unstructured":"T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates, and counterfactuals. PODS \u201992: Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium, p261-273, 1992.","key":"2_CR9_2","DOI":"10.1145\/137097.137886"},{"unstructured":"M. Endler. A language for implementing generic dynamic reconfigurations of distributed programs. In Proceedings of the 12th Brazilian Symposium on Computer Networks, pages 175-187, 1994.","key":"2_CR10_2"},{"doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume B, Formal Models and Semantics., pages 996-1072. Elsevier, 1990.","key":"2_CR11_2","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"unstructured":"GCM program committee Basic Features of the Grid Component Model Deliverable D.PM.04, CoreGRID, March 2007.","key":"2_CR12_2"},{"unstructured":"V. Getov, A. Basukoski, J. Thiyagalingam, Y. Yulai and Y. Wu Grid programming with COMPonents : an advanced component platform for an effective invisible grid GRIDComp Technical Report, July 2007.","key":"2_CR13_2"},{"doi-asserted-by":"crossref","unstructured":"A. Lomuscio and B. Wozna. A complete and decidable axiomatisation for deontic interpreted systems. In DEON, volume 4048 of Lecture Notes in Computer Science, pages 238-254. Springer, 2006.","key":"2_CR14_2","DOI":"10.1007\/11786849_20"},{"unstructured":"Z. Manna and A. Pnueli. Temporal Specification and Verification of Reactive Modules. Weizmann Institute of Science Technical Report, March 1992.","key":"2_CR15_2"},{"unstructured":"S. Schaefer. CDDLM - Component Model In proceeding to the Open Grid Forum, March 2006.","key":"2_CR16_2"},{"doi-asserted-by":"crossref","unstructured":"Elisabeth A. Strunk and John C. Knight. Assured Reconfiguration of Embedded Real-Time Software. DSN \u201904: Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN\u201904), 2004, p. 367, IEEE Computer Society.","key":"2_CR17_2","DOI":"10.1109\/DSN.2004.1311906"}],"container-title":["Making Grids Work"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-78448-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T09:59:26Z","timestamp":1738317566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-78448-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780387784472","9780387784489"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-78448-9_2","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}