{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:39Z","timestamp":1725494859243},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_20","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1321-1342","source":"Crossref","is-referenced-by-count":0,"title":["Communication and synchronisation using interaction objects"],"prefix":"10.1007","author":[{"given":"H. B. M.","family":"Jonkers","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"20_CR1","unstructured":"Andrews, G.R.,Concurrent Programming, Benjamin\/Cummings (1991)."},{"issue":"4","key":"20_CR2","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R.J.R. Back","year":"1988","unstructured":"Back, R.J.R., Kurki-Suonio, R., Distributed Cooperation with Action Systems, ACM Transactions on Programming Languages and Systems, Vol. 10,4 (1988), 513\u2013554.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR3","unstructured":"Brinch Hansen, P., Operating System Principles, Prentice-Hall (1973)."},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214037.214100","volume":"27","author":"P.A. Buhr","year":"1995","unstructured":"Buhr, P.A., Fortier, M., Coffn, M.H., Monitor Classification, ACM Computing Surveys 27,1 (1995), 63\u2013107.","journal-title":"ACM Computing Surveys"},{"key":"20_CR5","unstructured":"Bustard, D., Elder, J., Welsh, J., Concurrent Program Structures, Prentice Hall (1988)."},{"key":"20_CR6","unstructured":"CCITT Recommendation Z.100: Specification and Description Language SDL, Blue Book, Volume X.1-X.5, ITU (1988)."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J., Parallel Program Design, Addison Wesley (1988).","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0164-1212(97)10020-6","volume":"41","author":"L.M.G. Feijs","year":"1998","unstructured":"Feijs, L.M.G., Jonkers, H.B.M., History, Principles and Application of the SPRINT Method, Journal of Systems and Software 41 (1998), 199\u2013219.","journal-title":"Journal of Systems and Software"},{"key":"20_CR9","unstructured":"Gomaa, H., Software Design Methods for Concurrent and Real-Time Systems, Addison-Wesley (1993)."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"von Eicken, T., Culler, D., Goldstein, S.C., Schauser, K.E., Active Messages: a Mechanism for Integrated Communication and Computation, in: Proceedings of the 19th International Symposium on Computer Architecture (1992).","DOI":"10.1145\/139669.140382"},{"key":"20_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0031995","volume-title":"Real-Time: Theory in Practice","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A., Timed Transition Systems. In: Real-Time: Theory in Practice, Lecture Notes in Computer Science, Vol. 600, Springer-Verlag (1992), 226\u2013251."},{"issue":"10","key":"20_CR12","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R., Monitors: An Operating System Structuring Concept, Communications of the ACM, Vol. 17,10 (1974), 549\u2013557.","journal-title":"Communications of the ACM"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"J\u00e4rvinen, H.-M., Kurki-Suonio, R., DisCo specification language: marriage of actions and objects. In: Proceedings of the 11th International Conference on Distributed Computing Systems, IEEE Computer Society Press (1991), 142\u2013151.","DOI":"10.1109\/ICDCS.1991.148656"},{"key":"20_CR14","unstructured":"Jonkers, H.B.M., Abstraction, Specification and Implementation Techniques, Mathematical Centre Tracts, Vol. 166, Mathematisch Centrum (1983)."},{"key":"20_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BFb0024659","volume-title":"Industrial Strength Formal Methods","author":"H.B.M. Jonkers","year":"1993","unstructured":"Jonkers, H.B.M., An Overview of the SPRINT Method. In: Woodcock, J.C.P., Larsen, P.G. (Eds.), Industrial Strength Formal Methods, Lecture Notes in Computer Science, Vol. 670, Springer-Verlag (1993), 403\u2013427."},{"key":"20_CR16","unstructured":"Jonkers, H.B.M., Survey of CoCoNut 1.0, Technical Report RWB-506-ir-96022, Philips Research, Information and Software Technology (1996)."},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. 17 Lamport","year":"1994","unstructured":"[17] Lamport, L., The Temporal Logic of Actions, ACM Transactions on Programming Languages and Systems, Vol. 16,3 (1994), 872\u2013923.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag (1992).","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"20_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1007\/3-540-64359-1_750","volume-title":"Proc. 10th IPPS\/SPDP 98 Workshops","author":"J. Misra","year":"1998","unstructured":"Misra, J., An Object Model for Multiprogramming, Proc. 10th IPPS\/SPDP 98 Workshops, Jose Rolim (ed.), Lecture Notes in Computer Science, Vol. 1388, Springer-Verlag (1998), 881\u2013889."},{"key":"20_CR20","unstructured":"Morgan, C., Programming from Specifications, Prentice Hall (1990)."},{"key":"20_CR21","unstructured":"Roe, P., Szyperski, C., Mianjin is Gardens Point: A Parallel Language Taming Asynchronous Communication. In: Fourth Australasian Conference on Parallel and Real-Time Systems (PART\u201997), Springer-Verlag (1997)."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Schneider, F.B., On Concurrent Programming, Springer-Verlag (1997).","DOI":"10.1007\/978-1-4612-1830-2"},{"issue":"3","key":"20_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/158439.158441","volume":"25","author":"A.U. Shankar","year":"1993","unstructured":"Shankar, A.U., An Introduction to Assertional Reasoning for Concurrent Systems, ACM Computing Surveys, Vol. 25,3 (1993), 225\u2013262.","journal-title":"ACM Computing Surveys"},{"key":"20_CR24","unstructured":"Spivey, J.M., The Z Notation: A Reference Manual, Second Edition, Prentice Hall (1992)"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:30:08Z","timestamp":1556969408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}