{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:54:16Z","timestamp":1743137656510,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319296036"},{"type":"electronic","value":"9783319296043"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29604-3_15","type":"book-chapter","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T07:53:12Z","timestamp":1455954792000},"page":"232-251","source":"Crossref","is-referenced-by-count":0,"title":["Declarative Programming with Algebra"],"prefix":"10.1007","author":[{"given":"Andre","family":"van Delft","sequence":"first","affiliation":[]},{"given":"Anatoliy","family":"Kmetyuk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,21]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-39993-3_4","volume-title":"From Object-Orientation to Formal Methods","author":"P Thati","year":"2004","unstructured":"Thati, P., Agha, G.: An algebraic theory of actors and its application to a simple object-based language. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol. 2635, pp. 26\u201357. Springer, Heidelberg (2004)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.tcs.2004.07.036","volume":"335","author":"JCM Baeten","year":"2005","unstructured":"Baeten, J.C.M.: A brief history of process algebra. Theor. Comput. Sci. 335, 131\u2013146 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"15_CR3","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1002\/spe.4380210406","volume":"21","author":"F Boussinot","year":"1991","unstructured":"Boussinot, F.: Reactive c: an extension of c to program reactive systems. Softw. Pract. Experiance 21(4), 401\u2013428 (1991)","journal-title":"Softw. Pract. Experiance"},{"key":"15_CR4","unstructured":"Boussinot, F., Susini, J.F.: The sugarcubes tool box. In: Nets of Reactive Processes Implementation"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"van Delft, A.: Dataflow constructs for a language extension based on the algebra of communicating processes. In: Proceedings of 4th Workshop on Scala, SCALA 2013. ACM (2013)","DOI":"10.1145\/2489837.2489849"},{"key":"15_CR6","unstructured":"van Delft, A.: Some new directions for ACP research. CoRR abs\/1504.03719 (2015). \n                    http:\/\/arxiv.org\/abs\/1504.03719"},{"key":"15_CR7","unstructured":"Gaspari, M., Zavattaro, G.: An algebra of actors. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) FMOODS, IFIP Conference Proceedings, vol. 139. Kluwer (1999)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0020-0190(90)90092-C","volume":"34","author":"H Goeman","year":"1990","unstructured":"Goeman, H.: Towards a theory of (self) applicative communicating processes: a short note. Inf. Process. Lett. 34(3), 139\u2013142 (1990)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"15_CR9","first-page":"80","volume":"7","author":"C Hoare","year":"1985","unstructured":"Hoare, C.: Communicating sequential processes. ACM Comput. Surv. 7(1), 80\u2013112 (1985)","journal-title":"ACM Comput. Surv."},{"key":"15_CR10","unstructured":"Johnson, S.: Yacc: Yet another compiler- compiler. Technical report, Bell Laboratories (1979)"},{"key":"15_CR11","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer-Verlag New York Inc., Secaucus (1982)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1989","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part i. Inf. Comput. 100, 1\u201340 (1989)","journal-title":"Inf. Comput."},{"key":"15_CR13","unstructured":"Wang, Y.: Fully abstract game semantics for actors. CoRR abs\/1403.6563 (2014)"},{"key":"15_CR14","volume-title":"No more regular expressions","author":"P Wills","year":"2014","unstructured":"Wills, P.: No more regular expressions. Scala Exchange, Skills Matter, London (2014)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29604-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:04:34Z","timestamp":1559387074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29604-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296036","9783319296043"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29604-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}