{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:24:42Z","timestamp":1742401482185},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045691"},{"type":"electronic","value":"9783642045707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04570-7_9","type":"book-chapter","created":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T23:51:23Z","timestamp":1257205883000},"page":"102-116","source":"Crossref","is-referenced-by-count":8,"title":["Modeling Concurrent Systems with Shared Resources"],"prefix":"10.1007","author":[{"given":"\u00c1ngel","family":"Herranz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Mari\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Jos\u00e9","family":"Moreno Navarro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-540-30472-2_6","volume-title":"Teaching Formal Methods","author":"M. Carro","year":"2004","unstructured":"Carro, M., Mari\u00f1o, J., Herranz, \u00c1., Moreno-Navarro, J.J.: Teaching how to derive correct concurrent programs (from state-based specifications and code patterns). In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 85\u2013106. Springer, Heidelberg (2004)"},{"key":"9_CR2","unstructured":"COST Action IC 0701 on Verification of Object Oriented Software, \n                    \n                      http:\/\/www.cost-ic0701.org"},{"key":"9_CR3","volume-title":"Validated Designs for Object-oriented Systems","author":"J. Fitzgerald","year":"2004","unstructured":"Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, Heidelberg (2004)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. In: Theoretical Computer Science (2006)","DOI":"10.1016\/j.tcs.2006.07.031"},{"key":"9_CR5","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1995","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall, Upper Saddle River (1995)"},{"key":"9_CR6","unstructured":"Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Kartha, N., Liu, C.K., Khalaf, R., K\u00f6nig, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0. Technical report, IBM, Microsoft, BEA, Intalio, Individual, Adobe Systems, Systinet, Active Endpoints, JBoss, Sterling Commerce, SAP, Deloitte, TIBCO Software, webMethods Oracle (2007)"},{"key":"9_CR7","unstructured":"Leslie Lamport. The TLA home page, \n                    \n                      http:\/\/www.research.microsoft.com\/users\/lamport\/tla\/tla.html"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst.\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR9","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Pearson Education, Inc., London (2002)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-68863-1_13","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"J. Sch\u00e4fer","year":"2008","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: Coboxes: Unifying active objects and structured heaps. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 201\u2013219. Springer, Heidelberg (2008)"},{"key":"9_CR11","first-page":"147","volume-title":"The Future of Software Engineering","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A.: Formal Specification: a Roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering, pp. 147\u2013159. ACM Press, New York (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04570-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:07:43Z","timestamp":1619766463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04570-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045691","9783642045707"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04570-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}