{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:38:21Z","timestamp":1743007101793,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619840"},{"type":"electronic","value":"9783540495734"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0024429","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:41:39Z","timestamp":1132364499000},"page":"161-182","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Constraint oriented temporal logic specification"],"prefix":"10.1007","author":[{"given":"Johan","family":"Blom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"6_CR1","unstructured":"M. Abadi, L. Lamport, and S. Merz. A TLA Solution to the RPC-Memory Specification Problem. This volume."},{"key":"6_CR2","first-page":"197","volume-title":"Feature Interactions in Telecommunications Systems","author":"J. Blom","year":"1994","unstructured":"J. Blom, B. Jonsson, and L. Kempe. Using temporal logic for modular specification of telephone services. In L. G. Bouma and Hugo Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 197\u2013216, Amsterdam, The Netherlands, May 1994. IOS Press."},{"issue":"10","key":"6_CR3","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borgida","year":"1995","unstructured":"A. Borgida, J. Mylopoulos, and R. Reiter. On the frame problem in procedure specifications. IEEE Trans. on Software Engineering, 21(10):785\u2013798, 1995.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"6_CR4","unstructured":"M. Broy and L. Lamport. The RPC-Memory Specification Problem. This volume."},{"key":"6_CR5","unstructured":"L. Lamport. Lake arrowhead specification problem, 1987. Manuscript."},{"key":"6_CR6","unstructured":"L. Lamport. The temporal logic of actions. Technical report, DEC\/SRC, 1991."},{"key":"6_CR7","unstructured":"K. G. Larsen, B. Steffen, and C. Weise. The Methodology of Modal Constraints. This volume."},{"key":"6_CR8","unstructured":"N. Lynch and M.R. Tuttle. An Introduction to Input\/Output Automata. Technical Report MIT\/LCS\/TM-373, MIT, Nov. 1988. TM-351 Revised."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"J.L. Peterson. Petri nets. Computing Surveys, 9(3):221\u2013252, 1977.","journal-title":"Computing Surveys"},{"key":"6_CR11","unstructured":"P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors. The Formal Description Technique LOTOS. North-Holland, 1989."}],"container-title":["Lecture Notes in Computer Science","Formal Systems Specification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:29:23Z","timestamp":1578526163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024429"}},"subtitle":["The Dagstuhl RPC-memory specification problem"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619840","9783540495734"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0024429","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"18 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}