{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:35Z","timestamp":1742635955532,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_61","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:27Z","timestamp":1330209207000},"page":"110-127","source":"Crossref","is-referenced-by-count":9,"title":["Formalisation of the behavior of actors by colored Petri nets and some applications"],"prefix":"10.1007","author":[{"given":"Yamina","family":"Sami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Vidal-Naquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Gul A.Agha; Semantics considerations in the Actor Paradigm of Concurrent Computation, Seminar on Concurrency, LNCS 197, July 1984","DOI":"10.1007\/3-540-15670-4_8"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Gul A.Agha; Carl Hewitt; Concurrent Programming Using Actors: Exploiting Largescale Parallelism, A.I.Memo No. 865, October 1985.","DOI":"10.1007\/3-540-16042-6_2"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Gul A.Agha; Actors: a model of concurrent computation in distributed systems, The MIT press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Gul A.Agha; An overview of actor languages, SIGPLAN Notices Vol 21, 1986.","DOI":"10.1145\/323648.323743"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Gul A.Agha; Supporting Multiparadigm Programming on Actor Architectures, Parle'89 Parallel Architectures and Languages Europe, Volume II, LNCS 366, E.Odjik, M.Rem, J-C.Syre, eds, 1989.","DOI":"10.1007\/3-540-51285-3_29"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Gregory R.Andrews, Fred B.Schneider; Concepts and Notations for Concurrent Programming, ACM Computing Surveys, Vol 15, No1, 1983.","DOI":"10.1145\/356901.356903"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Henri E. Bal, Jennifer G. Steiner, Andrew S. Tanenbaum; Programming Languages for Distributed Computing Systems, ACM Computing Surveys, Vol.21, No.3, September 1989.","DOI":"10.1145\/72551.72552"},{"key":"7_CR8","unstructured":"F.Baude, G.Vidal-Naquet; Actors as a parallel programming model, STACS91, LNCS 480, C.Choffrut, M.Jantzen, eds, 1991."},{"key":"7_CR9","unstructured":"J-C.Bermond and and C. Peyrat; The De Bruijn and Kautz networks: a competitor for the hypercube ?; Hypercube and Distributed Computers, F.Andr\u00e9 and J.P. Verjus (Eds), Elseiver Science Publishers B.V. (North-Holland), 1989."},{"key":"7_CR10","unstructured":"W.D.Clinger; Foundations of actors semantics, AI-TR-633, MIT artificial intelligence Laboratory, May 1981."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"J.Engelfriet, G.Leih, G.Rozenberg; Parallel object-based systems and petri nets, Technical Reports 90-04 and 90-05, Leiden University, 1990.","DOI":"10.1007\/978-1-4471-3860-0_13"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J.Engelfriet; Net-based description of parallel object-based systems, or POTs and POPs, Workshop on Foundations of Object-Oriented Languages, May28 \u2014 Junel, 1990.","DOI":"10.1007\/BFb0019446"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Carl Hewitt; Viewing control structures as patterns of passing messages, in Artificial Intelligence, An MIT Perspective, Brown & Winston, eds, 1977.","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"7_CR14","unstructured":"C.Hewitt, H.Baker; Actors and continuous functionals, Formal Description of progr.Concepts,1977."},{"key":"7_CR15","unstructured":"C.E Hewitt, G.Attardi, and H.Lieberman; Specifying and proving properties of guardians for distributed systems. In praceedings on semantics of concurrent computation, INRIA, Evian, France, 1979."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Carl Hewitt, Tom Reinhardt, Gul A.Agha, Giuesppe Attardi; linguistic support of receptionists for shared ressources, Memo MIT, 1984.","DOI":"10.1007\/3-540-15670-4_16"},{"issue":"4","key":"7_CR17","first-page":"223","volume":"10","author":"C.E. Hewitt","year":"1985","unstructured":"C.E. Hewitt; The challenge of open systems. Byte 10(4): 223\u2013242, 1985.","journal-title":"Byte"},{"issue":"8","key":"7_CR18","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare; Communicating Sequential Processes; Communications from the ACM, Vol21, No8, 666\u2013677, 1978.","journal-title":"Communications from the ACM"},{"issue":"10","key":"7_CR19","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare; Monitors: An Operating System Structuring Concept, Communications from the ACM, 17 (10), 549\u2013557, 1974.","journal-title":"Communications from the ACM"},{"key":"7_CR20","unstructured":"R.P. Hopkins, M. Koutny, B.Randell; Some Results on Dynamically Structures Communicating Systems; Research Memorandum, University of Newcastle upon Tyne, 1989."},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02088293","volume":"22","author":"D. Janssens","year":"1989","unstructured":"D. Janssens, G. Rozenberg; Actor grammars, Math. Syst. Theory 22, 75\u2013107, 1989.","journal-title":"Math. Syst. Theory"},{"key":"7_CR22","unstructured":"Kurt Jensen, Colored petri nets, Advances in petri nets, Part1, LNCS 254, W.Brauer, W.Reisig and G.Rozenberg, eds, 1986."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Peter De Jong, Compilation into Actors, In sigplan notices, Vol 21, October 1986.","DOI":"10.1145\/323648.323762"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Barbara Liskov, Maurice Herlihy, Lucy Gilbert; Limitations of Synchronous Communication With Static Process Structure in Languages for Distributed Computing, Proceedings of the 13th ACM Symposium on Principles of Programing Primitives, St. Petersburg, Florida, January 1986.","DOI":"10.1145\/512644.512658"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Y.Saad, M.Shultz, Topological properties of Hypercubes, IEE Trans. on computers, vol 37, No 7, July 1988.","DOI":"10.1109\/12.2234"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Y.Sami, G.Vidal-Naquet, Formalisation of the behavior of actors by colored Petri nets and some applications, technical report 605, LRI, CNRS URA 410, 1990.","DOI":"10.1007\/3-540-54152-7_61"},{"key":"7_CR27","unstructured":"Y.Sami, G.Vidal-Naquet, talks given at DEMON working group meeting at Newcastle Mai 90 and DEMON AGM1, Paris, June 90."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:15:11Z","timestamp":1742591711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}