{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:19:31Z","timestamp":1742383171493},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1991,6]]},"DOI":"10.1007\/bf01463943","type":"journal-article","created":{"date-parts":[[2005,4,13]],"date-time":"2005-04-13T20:45:31Z","timestamp":1113425131000},"page":"511-538","source":"Crossref","is-referenced-by-count":29,"title":["Procol"],"prefix":"10.1007","volume":"28","author":[{"given":"Jan","family":"van den Bos","sequence":"first","affiliation":[]},{"given":"Chris","family":"Laffra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"37","volume-title":"Object-oriented concurrent programming","author":"G. Agha","year":"1987","unstructured":"Agha, G., Hewitt, C.: Concurrent programming using Actors. In: Yonezawa, A., Tokoro, M. (eds.) Object-oriented concurrent programming, pp. 37?53. Cambridge: MIT Press 1987"},{"key":"CR2","first-page":"199","volume-title":"Object-oriented concurrent programming","author":"P. America","year":"1987","unstructured":"America, P.: POOL-T: A parallel object-oriented language. In: Yonezawa, A., Tokoro, M. (eds.) Object-oriented concurrent programming, pp. 199?220. Cambridge: MIT Press 1987"},{"key":"CR3","series-title":"Proceedings IEEE Conference on Computer Languages","first-page":"82","volume-title":"Distributed programming with shared data","author":"H.E. Bal","year":"1988","unstructured":"Bal, H.E., Tanenbaum, A.S.: Distributed programming with shared data. Proceedings IEEE Conference on Computer Languages, pp. 82?91. Washington: IEEE 1988"},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/27623.29354","volume":"5","author":"A. Borning","year":"1986","unstructured":"Borning, A., Duisberg, R.: Constraint-based tools for user interface. ACM Trans. Graphics5(4), 345?374 (1986)","journal-title":"ACM Trans. Graphics"},{"key":"CR5","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume-title":"The specification of process synchronization by path expressions","author":"R.H. Campbell","year":"1974","unstructured":"Campbell, R.H., Habermann, A.N.: The specification of process synchronization by path expressions (Lect. Notes Comput. Sci., Vol. 16, pp. 89?102). Berlin Heidelberg New York: Springer 1974"},{"key":"CR6","volume-title":"Object-oriented programming. An evolutionary approach","author":"B.J. Cox","year":"1987","unstructured":"Cox, B.J.: Object-oriented programming. An evolutionary approach. Reading: Addison-Wesley 1987"},{"key":"CR7","series-title":"NCC Publications S-52","volume-title":"Simula 67 common base language","author":"O.-J. Dahl","year":"1967","unstructured":"Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Simula 67 common base language (NCC Publications S-52). Oslo: Norwegian Computing Center 1967"},{"issue":"6","key":"CR8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/359114.359127","volume":"22","author":"J. Feldman","year":"1979","unstructured":"Feldman, J.: High-level programming for distributed computing. Commun. ACM22(6), 353?359 (1979)","journal-title":"Commun. ACM"},{"key":"CR9","volume-title":"The concurrent C programming language","author":"N. Gehani","year":"1989","unstructured":"Gehani, N.: The concurrent C programming language. Reading, Mass.: Addison-Wesley 1989"},{"key":"CR10","first-page":"987","volume-title":"IFIP Information Processing, Vol. 77","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C.: Laws for communicating parallel processes. In: Gilchrist, B. (eds.), IFIP Information Processing, Vol. 77, pp. 987?992. Amsterdam: North-Holland 1977"},{"issue":"8","key":"CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processing. Commun. ACM21(8), 666?677 (1978)","journal-title":"Commun. ACM"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Ichbiah, J. et al.: Rationale for the design of the ADA programming language. Sigplan Notices (ACM)14(6) (1979), part B (1980)","DOI":"10.1145\/956653.956654"},{"key":"CR13","volume-title":"Constraint programming languages. Their specification and generation","author":"W. Leler","year":"1988","unstructured":"Leler, W.: Constraint programming languages. Their specification and generation. Reading Mass: Addison-Wesley 1988"},{"issue":"8","key":"CR14","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B. Liskov","year":"1977","unstructured":"Liskov, B., Snyder, A., Atkinson, R., Schaffert, C.: Abstraction mechanisms in CLU. Commun. ACM20(8), 564?575 (1977)","journal-title":"Commun. ACM"},{"key":"CR15","volume-title":"Object-oriented software construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-oriented software construction. Englewood Cliffs: Prentice Hall 1988"},{"key":"CR16","unstructured":"Oosterom, P. van, Laffra, C.: Persistent graphical objects in PROCOL. In: B\u00e9zivin, J., Meyer, B., Nerson, J.M. (eds). TOOLS 2, the TOOLS'90 Proceedings, pp. 271?283, 1990"},{"issue":"11","key":"CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/960112.28699","volume":"23","author":"C. Schaffert","year":"1986","unstructured":"Schaffert, C., Cooper, T., Bullis, B., Kilian, M., Wilpolt, C.: An introduction to Trellis\/Owl. ACM Conference Proceedings OOPSLA'86, Portland, Special Issue. SigPlan Notices23(11), 9?16 (1986)","journal-title":"SigPlan Notices"},{"issue":"8","key":"CR18","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1145\/359763.359782","volume":"20","author":"M. Shaw","year":"1977","unstructured":"Shaw, M., Wulf, W.A., London, R.L.: Abstraction and verification in Alphard: defining and specifying iteration and generators. Commun. ACM20(8), 553?564 (1977)","journal-title":"Commun. ACM"},{"issue":"12","key":"CR19","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1145\/38807.38820","volume":"22","author":"L.A. Stein","year":"1987","unstructured":"Stein, L.A.: Delegation is Inheritance. ACM Conference Proceedings OOPSLA'87, Orlando, Special Issue. SigPlan Notices22(12), 138?146 (1987)","journal-title":"SigPlan Notices"},{"key":"CR20","volume-title":"The C++ programming language","author":"B. Stroustrup","year":"1986","unstructured":"Stroustrup, B.: The C++ programming language. Reading, Mass.: Addison-Wesley 1986"},{"issue":"3","key":"CR21","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1002\/spe.4380190304","volume":"19","author":"A. Tripathi","year":"1989","unstructured":"Tripathi, A., Berge, E., Aksit, M.: An implementation of the object-oriented concurrent programming language SINA. Software-Pract. Exp.19(3), 235?256 (1989)","journal-title":"Software-Pract. Exp."},{"issue":"3","key":"CR22","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/357139.357141","volume":"3","author":"J. Bos van den","year":"1981","unstructured":"Bos, J. van den, Plasmeijer, M.J., Stroet, J.W.M.: Process communication based on input specifications. ACM-TOPLAS (Trans. Programm. Languages Syst.)3(3), 224?250 (1981)","journal-title":"ACM-TOPLAS (Trans. Programm. Languages Syst.)"},{"issue":"2","key":"CR23","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/42190.42191","volume":"10","author":"J. Bos van den","year":"1988","unstructured":"Bos, J. van den: ABSTRACT INTERACTION TOOLS: A language for user interface management systems. ACM-TOPLAS (Trans. Programm. Languages Syst.)10(2), 215?247 (1988)","journal-title":"ACM-TOPLAS (Trans. Programm. Languages Syst.)"},{"issue":"9","key":"CR24","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/32091.32093","volume":"22","author":"J. Bos van den","year":"1987","unstructured":"Bos, J. van den: PCOL ? A protocol-constrained object language. SIGPLAN Notices22(9), 14?19 (1987)","journal-title":"SIGPLAN Notices"},{"issue":"4","key":"CR25","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/67387.67428","volume":"24","author":"J. Bos van den","year":"1989","unstructured":"Bos, J. van den: PROCOL ? A protocol-constrained concurrent object-oriented language. SIGPLAN Notices, (Special Issue)24(4), 149?151 (1989)","journal-title":"SIGPLAN Notices, (Special Issue)"},{"issue":"11","key":"CR26","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/74878.74888","volume":"23","author":"J. Bos van den","year":"1989","unstructured":"Bos, J. van den, Laffra, C.: PROCOL ? A parallel object language with protocols. ACM Conference Proceedings OOPSLA'89, New Orleans (Special Issue) SigPlan Notices23(11), 95?102 (1989)","journal-title":"SigPlan Notices"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0020-0190(89)90047-1","volume":"32","author":"J. Bos van den","year":"1989","unstructured":"Bos, J. van den: PROCOL ? A protocol-constrained concurrent object-oriented language. Inform. Process. Lett.32, 221?227 (1989)","journal-title":"Inform. Process. Lett."},{"issue":"8","key":"CR28","first-page":"36","volume":"6","author":"Xerox Learning Research Group","year":"1981","unstructured":"Xerox Learning Research Group: The Smalltalk-80 system. BYTE6(8), 36?48 (1981)","journal-title":"BYTE"},{"issue":"10","key":"CR29","first-page":"258","volume":"21","author":"A. Yonezawa","year":"1989","unstructured":"Yonezawa, A., Briot, J.-P., Shibayama, E.: Object-oriented concurrent programming in ABCL\/1. ACM Conference Proceedings OOPSLA'86, Portland (Special Issue) SigPlan Notices21 (10), 258?268 (1989)","journal-title":"SigPlan Notices"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01463943.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01463943\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01463943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T21:06:07Z","timestamp":1586207167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01463943"}},"subtitle":["A concurrent object-oriented language with protocols delegation and constraints"],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":29,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF01463943"],"URL":"https:\/\/doi.org\/10.1007\/bf01463943","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}