{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:10:26Z","timestamp":1737288626682,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":70,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419426"},{"type":"electronic","value":"9783540453970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45397-0_4","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:17:01Z","timestamp":1184602621000},"page":"131-163","source":"Crossref","is-referenced-by-count":5,"title":["CLOWN as a Testbed for Concurrent Object-Oriented Concepts"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Battiston","sequence":"first","affiliation":[]},{"given":"Alfredo","family":"Chizzoni","sequence":"additional","affiliation":[]},{"given":"Fiorella","family":"De Cindio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Real-time specification inheritance anomalies and real-time filters","author":"M. Aksit","year":"1994","unstructured":"M. Aksit, J. Bosch, W. van der Sterren, L. Bergmans, Real-time specification inheritance anomalies and real-time filters, in ECOOP\u2019 94 Proc., M. Tokoro, R. Pareschi (eds.), LNCS 821, 1994."},{"unstructured":"G. Agha and F. De Cindio (eds.), Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, held within 16th Int. Conf on Appl. and Theory of Petri Nets, Torino (I), 1995.","key":"4_CR2"},{"unstructured":"G. Agha and F. De Cindio (eds.), Proc. of 2nd Workshop on Objectoriented Programming and Models of Concurrency, held within 17th Int. Conf on Appl. and Theory of Petri Nets, Osaka (JP), 1996.","key":"4_CR3"},{"doi-asserted-by":"crossref","unstructured":"G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","key":"4_CR4","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P. America","year":"1989","unstructured":"P. America, Issues in the design of a parallel object-oriented language, in \u201cFormal Aspects of Computing\u201d, Volume 1, pp.366\u2013411, 1989.","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"P. America, Designing an object-oriented programming language with behavioural subtyping, in [BRR91].","key":"4_CR6","DOI":"10.1007\/BFb0019440"},{"doi-asserted-by":"crossref","unstructured":"G. Agha, P. Wegner, A. Yonezawa (eds.), Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.","key":"4_CR7","DOI":"10.7551\/mitpress\/2087.001.0001"},{"unstructured":"G. Baratta: Operazioni su componenti OBJSA Master degree thesis, University of Milan, 1996 (In italian).","key":"4_CR8"},{"unstructured":"O. Biberstein and D. Buchs: Structured Algebraic Nets with Objectorientation; in [AD95].","key":"4_CR9"},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Appl. and Theory of Petri Nets 1995","author":"E. Battiston","year":"1995","unstructured":"E. Battiston, O. Botti, E. Crivelli and F. De Cindio: An incremental specification of a Hidroelectric Power Plant Control System using a class of modular algebraic nets. in G. De Michelis and M. Diaz (eds.), Appl. and Theory of Petri Nets 1995, LNCS 935, Springer, 1995."},{"unstructured":"E. Battiston, L. Capra, A. Chizzoni and F. De Cindio: The OBJSA Net Environment ONE. Tool presentation at the 17th ICATPN, Osaka, J, 1996.","key":"4_CR11"},{"unstructured":"E. Battiston, A. Chizzoni and F. De Cindio: Inheritance and Concurrency in CLOWN.; in [AD95].","key":"4_CR12"},{"key":"4_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Advances of Petri Nets 1992","author":"L. Bernardinello","year":"1992","unstructured":"L. Bernardinello, F. De Cindio, A survey of basic net models and modular net classes, in G. Rozenberg (ed.), Advances of Petri Nets 1992, LNCS 609, Springer, 1992."},{"doi-asserted-by":"crossref","unstructured":"E. Battiston, F. De Cindio, Class Orientation and Inheritance in Modular Algebraic Nets, in Proc. \u201cIEEE 1993 Intern. Conf. on Systems, Man and Cybernetics, Le Touquet, F, October 17\u201320 1993\u201d, Vol. II, pp.717\u2013723, 1993.","key":"4_CR14","DOI":"10.1109\/ICSMC.1993.384960"},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Advances of Petri Nets 1992","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers and J. Hall, The Petri Box Calculus: a new causal algebra with multilabel communication, in G. Rozenberg (ed.), Advances of Petri Nets 1992, LNCS 609, Springer, 1992."},{"key":"4_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets 88","author":"E. Battiston","year":"1988","unstructured":"E. Battiston, F. De Cindio, G. Mauri, OBJSA Nets: a class of high level nets having objects as domains, in Advances in Petri Nets 88, G. Rozenberg (ed.), LNCS 340, Springer Verlag, 1988"},{"doi-asserted-by":"crossref","unstructured":"E. Battiston, F. De Cindio and G. Mauri, Modular Algebraic Nets to Specify Concurrent Systems, IEEE Trans.on Software Engineering, 22(10), 1996.","key":"4_CR17","DOI":"10.1109\/32.544348"},{"unstructured":"L. Bergmans, Composing concurrent objects: applying composition filters for the development and reuse of concurrent object-oriented programs, PhD Thesis, TRESE, Univ. of Twente, The Netherlands, 1994.","key":"4_CR18"},{"unstructured":"S. Beretta: Uno strumento per la fase iniziale della specifica di unsistema con le Reti OBJSA., Master degree thesis, Univ. of Milan (I), 1995 (Initalian).","key":"4_CR19"},{"unstructured":"M. Benveniste, V. Issarny, Concurrent programming notations in the object-oriented language Arche, techical report 1882, IRISA, France, 1992.","key":"4_CR20"},{"unstructured":"R. Bastide, C. Lakos, P. Palanque, A Cooperative Petri Net Editor, Case Study proposal for the 2nd Workshop on Object-Oriented Programming and Models of Concurrency, available at http:\/\/wrcm.dsi.unimi.it\/PetriLab\/ws96\/case.html","key":"4_CR21"},{"unstructured":"G.M. Birtwistle, OJ. Dahl, B. Myhrhaug and K. Nygaard, Simula Begin, Studentlitteratur, Lund, Sweden, 1979.","key":"4_CR22"},{"doi-asserted-by":"crossref","unstructured":"R. Bastide and P. Palanque, Modeling a groupware editing tool with Cooperative Objects, in [AD96].","key":"4_CR23","DOI":"10.1007\/3-540-45397-0_10"},{"key":"4_CR24","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of \u201cSchool\/Workshop in Foundations of Object-Oriented Languages\u201d","year":"1991","unstructured":"J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.), Proc. of \u201cSchool\/Workshop in Foundations of Object-Oriented Languages\u201d, LNCS 489, Springer, 1991."},{"doi-asserted-by":"crossref","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad, Stochastic wellformed coloured nets for symmetric modelling applications, IEEE Trans. on Computers, 42(11), 1993.","key":"4_CR25","DOI":"10.1109\/12.247838"},{"doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln and J. Meseguer, Principles of Maude, in Proc. of 1st Workshop on Rewriting Logic and its Applications, Pacific Grove, CA, pp. 65\u201389, 1996.","key":"4_CR26","DOI":"10.1016\/S1571-0661(04)00034-9"},{"unstructured":"A. Chizzoni: CLOWN: CLass Orientation With Nets. Master degree thesis, Univ. of Milan (I), 1994(In italian).","key":"4_CR27"},{"unstructured":"F. Conca: Implementazione di CLOWN nell\u2019ambiente ONE. Master degree thesis, Univ. of Milan (I), 1996 (In italian).","key":"4_CR28"},{"doi-asserted-by":"crossref","unstructured":"W.R. Cook, Object-oriented programming versus abstract data types, in [BRR91].","key":"4_CR29","DOI":"10.1007\/BFb0019443"},{"unstructured":"P. Coad and E. Yourdon: Object-Oriented Analysis. 2nd edition, Yourdon Press 1991.","key":"4_CR30"},{"doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, L. Pomello and C. Simone, Superposed Automata nets, in C. Girault and W. Reisig (eds.), Application and Theory of Petri Nets, IFB 52, Springer, 1982.","key":"4_CR31","DOI":"10.1007\/978-3-642-68353-4_44"},{"unstructured":"P. Della Rossa: Ttranslation of CLOWN classes in Smalltalk classes, Master degree thesis, Univ. of Milan (I), 1997 (In italian).","key":"4_CR32"},{"doi-asserted-by":"crossref","unstructured":"D. De Champeaux, D. Lea and P. Faure: Object-Oriented software Development. Addison Wesley 1993.","key":"4_CR33","DOI":"10.1145\/141936.141967"},{"doi-asserted-by":"crossref","unstructured":"J. Engelfriet, G. Leih and G. Rozenberg, Net based description of parallel object-based systems, or POTs and POPs, in [BRR91].","key":"4_CR34","DOI":"10.1007\/BFb0019446"},{"unstructured":"W. El Kaim and F. Kordon, An integrated Framework for Rapid System Prototyping and Automatic Code Distribution, in Procs. of 5th International Workshop or Rapid System Prototyping, N. Kanopoulos (ed.), IEEE Comp. Soc. Press, Grenoble, June, 1994.","key":"4_CR35"},{"issue":"5","key":"4_CR36","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"10","author":"J. Goguen","year":"1984","unstructured":"J. Goguen, Parametrized programming, in \u201cIEEE Trans. on Software Engineering\u201d, 10(5), pp. 528\u2013543, 1984.","journal-title":"IEEE Trans. on Software Engineering"},{"unstructured":"A. Goldberg and D. Robson, Smalltalk-80: The Language, Addison-Wesley, Reading, MA, 1989.","key":"4_CR37"},{"unstructured":"J. Goguen, T. Winkler, Introducing OBJ3, Technical Report SRI-CSL-88-9, SRI International, Computer Science Lab, 1988.","key":"4_CR38"},{"unstructured":"W. Gerteis, W. Wiraz, Synchronising objects by conditional path expressions, in TOOLS Pacific\u2019 91, pp. 193\u2013201, 1991.","key":"4_CR39"},{"unstructured":"C. Houck and G. Agha, HAL: A High-level language and its distributed implementation, in [AWY93], 1993.","key":"4_CR40"},{"unstructured":"X. He and Y. Ding, Object-Oriented Specification Using Hierarchical Predicate Transition Nets, in in [AD96].","key":"4_CR41"},{"key":"4_CR42","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets 1990","author":"P. Heber","year":"1990","unstructured":"P. Heber, K. Jensen and R.M. Shapiro, Hierarchies in Coloured petri Nets, in G. Rozenberg (ed.), Advances in Petri Nets 1990, LNCS 383, Springer, 1990."},{"unstructured":"T. Holvoet and P. Verbaeten: PN-TOX: a Paradigm and Development Environment for Object Concurrency specifications. in [AD95].","key":"4_CR43"},{"doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg (eds.): High-Level Nets. Springer, 1991.","key":"4_CR44","DOI":"10.1007\/978-3-642-84524-6"},{"key":"4_CR45","series-title":"Lect Notes Comput Sci","volume-title":"Appl. and Theory of Petri Nets 1996","author":"C. Lakos","year":"1996","unstructured":"C. Lakos, The Consistent use of Names and Polymorphism in the Definition of Object Petri Nets, in J. Billigton and W. Reisig (eds.), Appl. and Theory of Petri Nets 1996, LNCS 1091, Springer, 1996."},{"unstructured":"C. Lakos, A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model, in in [AD96].","key":"4_CR46"},{"unstructured":"J. Lilius, OOB(PN)2: An Object Oriented Petri Net Programming Notation (A status report), in in [AD96].","key":"4_CR47"},{"doi-asserted-by":"crossref","unstructured":"B. Liskov, J. M. Wing, Specifications and their use in defining subtypes, in OOPSLA\u2019 93 Proc., ACM SIGPLAN Notices, Vol. 28, No. 10, pp. 16\u201328.","key":"4_CR48","DOI":"10.1145\/167962.165863"},{"key":"4_CR49","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.21236\/ADA265548","volume-title":"A new definition of the subtype relation","author":"B. Liskov","year":"1993","unstructured":"B. Liskov, J. M. Wing, A new definition of the subtype relation, in ECOOP\u2019 93 Proc., LNCS 707, Springer, 1993."},{"unstructured":"S. Omohundro, The Sather Language: Efficient, Interactive, Object-Oriented Programming, Dr. Dobbs Journal, 1993","key":"4_CR50"},{"doi-asserted-by":"crossref","unstructured":"S. Miriyala, G. Agha and Y. Sami, Visualizing Actor Programs using Predicate Transition Nets, in Journal of Visual Languages and Computing, 1992.","key":"4_CR51","DOI":"10.1016\/1045-926X(92)90015-E"},{"unstructured":"J. Meseguer, Solving the inheritance anomaly in concurrent objectoriented programming, in ECOOP\u2019 93 Proc., Springer, 1993.","key":"4_CR52"},{"doi-asserted-by":"crossref","unstructured":"J. Meseguer, A logical theory of concurrent objects and its realization in the Maude language, in [AWY93], pp. 314\u2013390, 1993.","key":"4_CR53","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"4_CR54","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1993","unstructured":"B. Meyer, Object-Oriented Software Construction, 2nd Ed., Prentice-Hall, Englewood Cliffs, NJ, 1993.","edition":"2nd Ed."},{"key":"4_CR55","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus for communicating systems","author":"R. Milner","year":"1980","unstructured":"R. Milner, A calculus for communicating systems, LNCS 92, Springer, 1980."},{"unstructured":"D. Marca and C.L. McGowan: SADT. Structured Analysis and Design Technique. McGraw Hill 1988.","key":"4_CR56"},{"unstructured":"S. Matsuoka, K. Wakita, A. Yonezawa, Synchronisation constraints with inheritance: What is not possible-So what is?, technical report 90-010, Dept. of Information Science, University of Tokyo, Japan, 1990.","key":"4_CR57"},{"doi-asserted-by":"crossref","unstructured":"S. Matsuoka, A. Yonezawa, Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages, in [AWY93], pp.107\u2013150.","key":"4_CR58","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"4_CR59","series-title":"Lect Notes Comput Sci","volume-title":"Synchronising actions","author":"C. Neusius","year":"1991","unstructured":"C. Neusius, Synchronising actions, in ECOOP\u2019 91 Proc., P. America (ed.), LNCS 512, Springer, 1991."},{"doi-asserted-by":"crossref","unstructured":"O. Nierstrasz, Regular Types for Active Objects, in Proceedings of the 8th OOPSLA\u201993, ACM Sigplan Notices, 28(10), pp. 1\u201315, 1993.","key":"4_CR60","DOI":"10.1145\/167962.167976"},{"key":"4_CR61","series-title":"Lect Notes Comput Sci","volume-title":"Advances of Petri Nets 92","author":"L. Pomello","year":"1992","unstructured":"L. Pomello, G. Rozenberg, C. Simone, A Survey of Equivalence Notions for Net based systems, in \u201cAdvances of Petri Nets 92\u201d, G. Rozenberg(ed.), LNCS 609, Springer, 1992."},{"key":"4_CR62","series-title":"Lect Notes Comput Sci","volume-title":"Advances of Petri Nets 90","author":"L. Pomello","year":"1991","unstructured":"L. Pomello and C. Simone, A state transformation preorder over a class of EN systems, in \u201cAdvances of Petri Nets 90\u201d, G. Rozenberg (ed.), LNCS 483, Springer, 1991."},{"unstructured":"G. Raccagni: Sviluppo e integrazione di strumenti su supporto alla ricerca di invarianti su reti modulari di alto livello, Master degree thesis, Univ. of Milan (I), 1994 (In italian).","key":"4_CR63"},{"doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets and Algebraic Specifications. TCS 80, pp. 1\u201334, North-Holland, 1991. Also in [JR91].","key":"4_CR64","DOI":"10.1007\/978-3-642-84524-6_4"},{"key":"4_CR65","series-title":"Lect Notes Comput Sci","volume-title":"Appl. and Theory of Petri Nets","author":"L. Recalde","year":"1996","unstructured":"L. Recalde, E. Teruel and M. Silva, *ECS: A Class of Modular and Hierarchical Cooperating Systems, in Appl. and Theory of Petri Nets 1996, J. Billigton and W. Reisig (eds.), LNCS 1091, Springer, 1996."},{"key":"4_CR66","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Appl. and Theory of Petri Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc, Cooperative Nets, in Appl. and Theory of Petri Nets 1994, R. Valette (ed.), LNCS 815, pp. 471\u2013490, Springer, 1994."},{"unstructured":"R. Valk, On Processes of Object Petri Nets, TR FBI-HH-B-185\/96, Hamburg University, 1996.","key":"4_CR67"},{"doi-asserted-by":"crossref","unstructured":"P. Wegner, Concepts and Paradigms of Object-Oriented Programming, OOPS Messenger, Volume 1, Number 1, August 1990.","key":"4_CR68","DOI":"10.1145\/382192.383004"},{"key":"4_CR69","volume-title":"Designing object-oriented software","author":"R. Wirfs-Brock","year":"1990","unstructured":"R. Wirfs-Brock, B. Wilkerson and L. Wiener: Designing object-oriented software, Prentice Hall, Englewood Cliffs, New Jersey, 1990."},{"key":"4_CR70","series-title":"Lect Notes Comput Sci","volume-title":"Inheritance as an Incremental Modification Mechanism or What Like Is and Isn\u2019t Like","author":"P. Wegner","year":"1988","unstructured":"P. Wegner, S. B. Zdonik, Inheritance as an Incremental Modification Mechanism or What Like Is and Isn\u2019t Like, in ECOOP\u2019 88 Proc., LNCS 322, Springer, 1988."}],"container-title":["Lecture Notes in Computer Science","Concurrent Object-Oriented Programming and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45397-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:52:36Z","timestamp":1737287556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45397-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419426","9783540453970"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/3-540-45397-0_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}