{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:03:13Z","timestamp":1725494593586},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677154"},{"type":"electronic","value":"9783540450221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45022-x_41","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:57:25Z","timestamp":1194998245000},"page":"487-498","source":"Crossref","is-referenced-by-count":11,"title":["Reasoning about Message Passing in Finite State Environments"],"prefix":"10.1007","author":[{"given":"B.","family":"Meenakshi","sequence":"first","affiliation":[]},{"given":"R.","family":"Ramanujam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,18]]},"reference":[{"key":"41_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-48320-9_10","volume-title":"Model checking of message sequence charts","author":"R. Alur","year":"1999","unstructured":"Alur, R. and Yannakakis, M., \u201cModel checking of message sequence charts\u201d, Springer LNCS 1664, 1999, 114\u2013129."},{"key":"41_CR2","unstructured":"Ciancarini, P., Nierstrasz, O. and Tolksdorf, R., \u201cA case study in co-ordination: conference management on the internet\u201d, Available at: http:\/\/malvasia.di.fct.unl.pt\/activity\/coordina\/working\/case-studies ."},{"key":"41_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/3-540-49019-1_16","volume-title":"Model checking logics for communicating sequential agents","author":"M. Huhn","year":"1999","unstructured":"Huhn, M., Niebert, P. and Wallner, F., \u201cModel checking logics for communicating sequential agents\u201d, Springer LNCS 1578, 1999, 227\u2013242."},{"key":"41_CR4","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"217","author":"L. Lamport","year":"1978","unstructured":"Lamport, L., \u201cTime, clocks, and the ordering of events in a distributed system\u201d, Comm. ACM21(7), 1978, 558\u2013565.","journal-title":"Comm. ACM"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Lamport, L. and Lynch, N., \u201cDistributed computing: Models and methods\u201d in J. van Leeuwen (ed.), North-Holland Handbook of Theoretical Computer Science, Volume B, 1990, 1157\u20131199.","DOI":"10.1016\/B978-0-444-88074-1.50023-8"},{"key":"41_CR6","first-page":"117","volume":"32","author":"K. Lodaya","year":"1992","unstructured":"Lodaya, K., Ramanujam, R. and Thiagarajan, P.S., \u201cTemporal logics for communicating sequential agents\u201d, Int. Journal of FOCS 3(2), 1992, 117\u2013159.","journal-title":"Int. Journal of FOCS"},{"key":"41_CR7","unstructured":"Lynch, N., Distributed algorithms, Morgan Kaufmann, 1996."},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Pnueli, A., Temporal verification of reactive systems, vol 1: Specification, vol 2: Verification, Springer, 1995.","DOI":"10.1007\/978-1-4612-4222-2_1"},{"key":"41_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Composing specifications for coordination","author":"C. Montangero","year":"1999","unstructured":"Montangero, C., and Semini, L., \u201cComposing specifications for coordination\u201d, Springer LNCS 1594, 1999."},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Ramanujam, R., \u201cLocally linear time temporal logic\u201d, Proc. LICS, 1996, 118\u2013127.","DOI":"10.1109\/LICS.1996.561311"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45022-X_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:25:55Z","timestamp":1556969155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45022-X_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677154","9783540450221"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45022-x_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}