{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:08:27Z","timestamp":1736140107724,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591726"},{"type":"electronic","value":"9783540492184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026573","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:15:04Z","timestamp":1132380904000},"page":"235-252","source":"Crossref","is-referenced-by-count":1,"title":["First-class synchronous operations"],"prefix":"10.1007","author":[{"given":"John H.","family":"Reppy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"12_CR1","first-page":"163","volume-title":"Distributed Computing Systems","author":"S. Abramsky","year":"1986","unstructured":"Abramsky, S. and R. Bornat. Pascal-m: A language for loosely coupled distributed systems. In Y. Paker and J.-P. Verjus (eds.), Distributed Computing Systems, pp. 163\u2013189. Academic Press, New York, N.Y., 1986."},{"key":"12_CR2","first-page":"1","volume-title":"Programming Language Implementation and Logic Programming, vol. 528 of Lecture Notes in Computer Science","author":"A. W. Appel","year":"1991","unstructured":"Appel, A. W. and D. B. MacQueen. Standard ML of New Jersey. In Programming Language Implementation and Logic Programming, vol. 528 of Lecture Notes in Computer Science, New York, N.Y., August 1991. Springer-Verlag, pp. 1\u201326."},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1145\/69558.69562","volume":"11","author":"Arvind","year":"1989","unstructured":"Arvind, R. S. Nikhil, and K. K. Pingali. I-structures: Data structures for parallel computing. ACM Transactions on Programming Languages and Systems, 11(4), October 1989, pp. 598\u2013632.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR4","unstructured":"Bjornson, R., N. Carriero, D. Gelernter, and J. Leichter. Linda, the portable parallel. Technical Report YALEU\/DCS\/TR-520, Department of Computer Science, Yale University, February 1987."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Berthomieu, B. Programming with behaviors in an ML framework \u2014 the syntax and semantics of LCS. Technical Report 93133, LASS\/CNRS, April 1993.","DOI":"10.1007\/3-540-57880-3_6"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Biagiono, E., R. Harper, P. Lee, and B. G. Milnes. Signatures for a network protocol stack: A systems application of Standard ML. In Conference record of the 1994 ACM Conference on Lisp and Functional Programming, June 1994, pp. 55\u201364.","DOI":"10.1145\/182409.182431"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/3540543961_26","volume-title":"Functional Programming Languages and Computer Architecture, vol. 523 of Lecture Notes in Computer Science","author":"P. Barth","year":"1991","unstructured":"Barth, P., R. S. Nikhil, and Arvind. M-structures: Extending a parallel, non-strict, functional language with state. In Functional Programming Languages and Computer Architecture, vol. 523 of Lecture Notes in Computer Science, New York, N.Y., August 1991. Springer-Verlag, pp. 538\u2013568."},{"issue":"9","key":"12_CR8","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1002\/j.1097-024X.1986.tb00010.x","volume":"16","author":"R. Bornat","year":"1986","unstructured":"Bornat, R. A protocol for generalized occam. Software \u2014 Practice and Experience, 16(9), September 1986, pp. 783\u2013799.","journal-title":"Software \u2014 Practice and Experience"},{"key":"12_CR9","volume-title":"Programming in occam 2","author":"A. Burns","year":"1988","unstructured":"Burns, A. Programming in occam 2. Addison-Wesley, Reading, Mass., 1988."},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-17184-3_38","volume-title":"Combinators and Functional Programming Languages, vol. 242 of Lecture Notes in Computer Science","author":"L. Cardelli","year":"1986","unstructured":"Cardelli, L. Amber. In Combinators and Functional Programming Languages, vol. 242 of Lecture Notes in Computer Science, New York, N.Y., July 1986. Springer-Verlag, pp. 21\u201347."},{"key":"12_CR11","volume-title":"How to Write Parallel Programs: A First Course","author":"N. Carriero","year":"1990","unstructured":"Carriero, N. and D. Gelernter. How to Write Parallel Programs: A First Course. The MIT Press, Cambridge, Mass., 1990."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Cardelli, L. and R. Pike. Squeak: A language for communicating with mice. In SIGGRAPH '85, July 1985, pp. 199\u2013204.","DOI":"10.1145\/325334.325238"},{"key":"12_CR13","unstructured":"Reference Manual for the Ada Programming Language, January 1983."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Gelernter, D. and A. J. Bernstein. Distributed communication via global buffer. In ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, August 1982, pp. 10\u201318.","DOI":"10.1145\/800220.806676"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1), January 1985, pp. 80\u2013112.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR16","unstructured":"Griffin, T. and R. Moten. Tactic trees in eXene. Included in the eXene distribution, 1992."},{"key":"12_CR17","first-page":"184","volume-title":"TAPSOFT'89 (vol. 2), vol. 352 of Lecture Notes in Computer Science","author":"A. Giacalone","year":"1989","unstructured":"Giacalone, A., P. Mishra, and S. Prasad. Facile: A symemetric integration of concurrent and functional programming. In TAPSOFT'89 (vol. 2), vol. 352 of Lecture Notes in Computer Science, New York, N.Y., March 1989. Springer-Verlag, pp. 184\u2013209."},{"key":"12_CR18","first-page":"239","volume-title":"Languages for Developing User Interfaces","author":"E. R. Gansner","year":"1992","unstructured":"Gansner, E. R. and J. H. Reppy. A foundation for user interface construction, In B. A. Myers (ed.), Languages for Developing User Interfaces, pp. 239\u2013260. Jones & Bartlett, Boston, Mass., 1992."},{"key":"12_CR19","unstructured":"Gansner, E. R. and J. H. Reppy. A Multi-threaded Higher-order User Interface Toolkit, vol. 1 of Software Trends, pp. 61\u201380. John Wiley&Sons, 1993."},{"key":"12_CR20","unstructured":"Haahr, D. Montage: Breaking windows into small pieces. In USENIX Summer Conference, June 1990, pp. 289\u2013297."},{"issue":"3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Y. Halpem","year":"1990","unstructured":"Halpem, J. Y. and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3), July 1990, pp. 549\u2013587. An earlier version appeared in the Proceedings of the 3rd ACM Conference on Principles of Distributed Computing.","journal-title":"Journal of the ACM"},{"key":"12_CR22","volume-title":"Ph.D. dissertation","author":"C. D. Krumvieda","year":"1993","unstructured":"Krumvieda, C. D. Distributed ML: Abstractions for Efficient and Fault-Tolerant Programming. Ph.D. dissertation, Department of Computer Science, Cornell University, Ithaca, NY, August 1993. Available as Technical Report TR 93-1376."},{"key":"12_CR23","unstructured":"Kawaguchi, N., T. Sakabe, and Y. Inagaki. TERSE: Term rewriting support environment. In Proceedings of the 1994 ACM SIGPLAN Workshop on ML and its Applications, June 1994, pp. 91\u2013100."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Lin, H. PAM: A process algebra manipulator. In Proceedings of the Third Workshop on Computer Aided Verification, July 1991.","DOI":"10.1007\/3-540-55179-4_14"},{"key":"12_CR25","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Mass, 1990."},{"key":"12_CR26","volume-title":"ML for the Working Programmer","author":"L. C. Paulson","year":"1991","unstructured":"Paulson, L. C. ML for the Working Programmer. Cambridge University Press, New York, N.Y., 1991."},{"issue":"2","key":"12_CR27","first-page":"133","volume":"2","author":"R. Pike","year":"1989","unstructured":"Pike, R. A concurrent window system. Computing Systems, 2(2), 1989, pp. 133\u2013153.","journal-title":"Computing Systems"},{"key":"12_CR28","unstructured":"Pike, R. Newsqueak: A language for communicating with mice. Technical Report 143, AT&T Bell Laboratories, April 1989."},{"key":"12_CR29","unstructured":"Panangaden, P. and J. H. Reppy. On the relative expressiveness of rendezvous primitives, unpublished draft, 1994."},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Panangaden, P. and K. Taylor. Concurrent common knowledge: Defining agreement for asynchronous systems. Distributed Computing, 1992, pp. 73\u201393.","DOI":"10.1007\/BF02252679"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Reppy, J. H. Synchronous operations as first-class values. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June 1988, pp. 250\u2013259.","DOI":"10.1145\/53990.54015"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Reppy, J. H. CML: A higher-order concurrent language. In Proceedings of the SIGPLAN'91 Conference on Programming Language Design and Implementation, June 1991, pp. 293\u2013305.","DOI":"10.1145\/113446.113470"},{"key":"12_CR33","volume-title":"Ph.D. dissertation","author":"J. H. Reppy","year":"1992","unstructured":"Reppy, J. H. Higher-order concurrency. Ph.D. dissertation, Department of Computer Science, Cornell University, Ithaca, NY, January 1992. Available as Technical Report TR 92-1285."},{"key":"12_CR34","unstructured":"Reppy, J. H. Concurrent Programming in ML. Cambridge University Press, 1995. (forthcoming)."},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Reppy, J. H. and E. R. Gansner. A foundation for programming environments. In Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, December 1986, pp. 218\u2013227.","DOI":"10.1145\/24208.24233"},{"key":"12_CR36","unstructured":"Siegel, E. H. and E. C. Cooper. Implementing distributed Linda in Standard ML. Technical Report CMU-CS-91-151, cmu-cs, October 1991."},{"key":"12_CR37","unstructured":"Slind, K. An implementation of higher order logic. Master's dissertation, University of Calgary, Department of Computer Science, December 1990."},{"key":"12_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M. Tofte","year":"1990","unstructured":"Tofte, M. Type inference for polymorphic references. Information and Computation, 89, 1990, pp. 1\u201334.","journal-title":"Information and Computation"},{"key":"12_CR39","volume-title":"Elements of ML Programming","author":"J. D. Ullman","year":"1994","unstructured":"Ullman, J. D. Elements of ML Programming. Prentice Hall, Englewood Cliffs, NJ, 1994."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:53:39Z","timestamp":1736103219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026573"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/bfb0026573","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}