{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:13:44Z","timestamp":1725459224603},"publisher-location":"Berlin\/Heidelberg","reference-count":33,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057316X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039714","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T09:17:03Z","timestamp":1138180623000},"page":"267-280","source":"Crossref","is-referenced-by-count":0,"title":["A unique formalism for specifying and designing objects in a parallel environment"],"prefix":"10.1007","author":[{"given":"J. P.","family":"Bahsoun","sequence":"first","affiliation":[]},{"given":"C.","family":"Servieres","sequence":"additional","affiliation":[]},{"given":"C.","family":"Seguin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"G. Agha and C. Hewitt Concurrent Programming Using Actors, In Object-Oriented Concurrent Programming, (ed) A. Yonezawa and M. Tokoro, MIT Press, 1987, 37\u201353."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"P. America, F. Vander Linden A Parallel Object Oriented Language with Inheritance and Subtyping\u201d, Proc. ECOOP'90. pp161\u2013168.","DOI":"10.1145\/97946.97966"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"J. P. Bahsoun, L. Feraud, C. Btourn \u201cA two degrees of freedom approach for parallel programming\u201d, Proc. IEEE International Conference on Computer Languages.March 12\u201315 1990.New Orleans.pp261\u2013270.","DOI":"10.1109\/ICCL.1990.63782"},{"key":"19_CR4","unstructured":"P. Cointe \u201cMeta-classes are first class: the ObjVlisp model\u201d, Proc. 2nd OOPSLA Orlando Florida, pp 156\u2013167."},{"issue":"9","key":"19_CR5","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O. J. Dahl","year":"1966","unstructured":"O. J. Dahl, K. Nygaard \u201cSIMULA \u2014 an ALGOL based simulation language\u201d, CACM 9(9) 1966 pp 671\u2013678.","journal-title":"CACM"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra. Hierarchical ordering of sequential processes. Acta Informatica. 1 \u2014 1971.","DOI":"10.1007\/BF00289519"},{"volume-title":"A Discipline of Programming","year":"1976","author":"E.W. Dijkstra","key":"19_CR7","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice Hall, Englwood Cliffs, New Jersey, 1976."},{"key":"19_CR8","unstructured":"L. Farias del Cerro, A. Herzig \u201cAn Automated Modal Logic of Elementary Changes\u201d, in \u201cNon-standard Logics for Automated Reasoning\u201d, Mandani, Smets, Dubois and Prade Eds, Academic Press, 1988."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"R.W. FLOYD Assigning meanings to programs. Proc Symp in AMS vol 19 Provinceton RI 1967.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"19_CR10","unstructured":"A. Golberg, A. Robson \u201cSMALLTALK: the language and its implentation\u201d, Addison-Wesley 1980."},{"key":"19_CR11","unstructured":"S. Hanks, D. Mac Dermott Default Reasoning, Nonmonotonic Logic and the Frame Problem, Proc. of AAAI, 1986."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel, \u201cDynamic Logic\u201d, Handbook of Philosophical Logic, D. Gabbay and F. Guenthner Eds., D. Reidel, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"C. Hewitt, R. Atkinson \u201cSpecification and proof technique for serializers\u201d, IEEE Trans. Soft. Eng. 1979 pp 10\u201313.","DOI":"10.1109\/TSE.1979.234149"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare An axiomatic basis for computer programming. CACM 12 1969.","DOI":"10.1145\/363235.363259"},{"key":"19_CR15","unstructured":"D. Kafura, K. Lee \u201cInheritance in actor based concurrent object-oriented languages\u201d, TR 88-53 Virginia Polytechnic Institue and state university. 1988."},{"key":"19_CR16","unstructured":"K. Kahn, E. D. Tribble, M. Smiller, D. G. Bobrow \u201cVULCAN: logical concurrent objects\u201d. In Research directions in object oriented programming.B.Shriver,P.Wegner Editors 112 MIT Press 1987."},{"key":"19_CR17","unstructured":"S. E. Keene \u201cObject oriented programming in common Lisp\u201d A progammer's guide to CLOS\u201d, Addison Wesley 1989."},{"key":"19_CR18","unstructured":"S. Krakoviak, M. Meysembourg, H. Nguyen Van, M. Riveill, X. Rousset De Pina \u201cDesign and implementation of an object oriented strongly typed language for distributed applications\u201d, JOOP Sept\/Oct. 1990 pp 11\u201322."},{"issue":"2","key":"19_CR19","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1977","unstructured":"L. Lamport Specifying concurrent program modules. ACM Transactions on Programming Languages and systems, 5(2) 190\u2013222 March 1977.","journal-title":"ACM Transactions on Programming Languages and systems"},{"key":"19_CR20","unstructured":"L. Lamport What good is temporal logic? Proceeding of IFIP 9th World Congress September 1983."},{"key":"19_CR21","unstructured":"L. Lamport The Temporal Logic of Actions SRC DEC December 1991."},{"key":"19_CR22","unstructured":"B. Liskov, J. Guttag \u201cAbstraction and specification in program developments\u201d, MIT Press\/McGraw Hill 1986."},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli The temporal logic of reactive and concurrent systems, Springer Verlag, 1992","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"19_CR24","unstructured":"B. Meyer \u201cObject oriented software construction\u201d, Prentice Hall 1988."},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"R. Milner \u201cOperational and Algebraic Semantics of Concurrent Processes\u201d, Handbook of Theorical Computer Science, J. van Leeuwen Ed., Elsevier Science, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"S. Owicki, D. Gries An Axiomatic proof technique for parallel programs. Acta Informatica. Vol 19 May 1976.","DOI":"10.1007\/BF00268134"},{"volume-title":"Ph.D. thesis","year":"1992","author":"C. Seguin","key":"19_CR27","unstructured":"C. Seguin \u201cDe l'action l'intention: vers une caractrisation formelle des agents\u201d, Ph.D. thesis, Universit Paul sabatier, Toulouse, France, 1992."},{"volume-title":"Reasoning about Change","year":"1987","author":"Y. Shoham","key":"19_CR28","unstructured":"Y. Shoham Reasoning about Change, MIT Press, 1987, Boston."},{"key":"19_CR29","unstructured":"A.Snyder \u201cInheritance and the development of encapsulated software systems\u201d, In Research directions in objetc-oriented programming. A.Shriver, P.Wegner editors MIT Press pp 165\u2013188."},{"key":"19_CR30","unstructured":"B. Stroustup The C++ programming language Addison & Wesley 1986."},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"T. Tomlison, V. Singh \u201cInheritance and synchronization with enabled sets\u201d, Proc. of OOPSLA'89.Oct.1\u20136.1989 pp 103\u2013112.","DOI":"10.1145\/74877.74889"},{"issue":"n1","key":"19_CR32","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/382192.383004","volume":"1","author":"P. Wegner","year":"1990","unstructured":"P. Wegner Concepts and paradigms of object-oriented programming\u201d, Expansion of Oct. 4 OOPSLA-89 keynote talk. OOPS Messenger. Vol.1 n1 Aug.1990 pp-84.","journal-title":"OOPS Messenger"},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"M. Winslett \u201cUpdating Logical Databases\u201d, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511663109"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Programming and Their Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039714.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:26:15Z","timestamp":1607534775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039714"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057316X"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0039714","relation":{},"subject":[]}}
