{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:34Z","timestamp":1725663454569},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:33:38Z","timestamp":1330191218000},"page":"92-109","source":"Crossref","is-referenced-by-count":1,"title":["Models for dynamically placed concurrent processes"],"prefix":"10.1007","author":[{"given":"J.","family":"Fanchon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Millot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"G. Boudol, I. Castellani, Concurrency and Atomicity, Theoretical Computer Science 59 (1988), pp. 25\u201384","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","first-page":"144","volume":"280","author":"P. Degano","year":"1987","unstructured":"P. Degano,R. De Nicola,U. Montanari, CCS is an augmented contact-free C\/E system.,LNCS 280,1987,pp 144\u2013165.","journal-title":"LNCS"},{"key":"6_CR3","first-page":"224","volume":"259","author":"R. Glabeek van","year":"1987","unstructured":"R. van Glabeek,F. Vaandrager,Petri nets models for algebraic theories of concurrency, LNCS 259 (1987) 224\u2013242.","journal-title":"LNCS"},{"key":"6_CR4","first-page":"197","volume":"197","author":"R. Milner","year":"1985","unstructured":"R. Milner, Lectures on a Calculus for Communicating Systems, in: Proc. Seminar on Concurrency, LNCS 197, 1985, pp. 197\u2013220","journal-title":"LNCS"},{"key":"6_CR5","unstructured":"D. Millot, J. Vautherin, True Parallelism on an Unknown Topology, RR. 502, LRI Univ. Paris-Sud, july 89"},{"key":"6_CR6","first-page":"381","volume":"222","author":"L. Pomello","year":"1986","unstructured":"L. Pomello, Some equivalence notions for concurrent systems, LNCS 222 (1986) 381\u2013400.","journal-title":"LNCS"},{"issue":"1","key":"6_CR7","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt, Modeling Concurrency with Partial Orders, International Journal of Parallel Programming, vol 15 (1), 1986, pp. 36\u201391","journal-title":"International Journal of Parallel Programming"},{"issue":"3","key":"6_CR8","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1093\/comjnl\/33.3.219","volume":"33","author":"C.C. Prince","year":"1990","unstructured":"C.C. Prince, M.A. Salama, Scheduling of precedence-constrained task on multiprocessors The Computer Journal Vol 33 (3) 1990, pp 219\u2013229.","journal-title":"The Computer Journal"},{"key":"6_CR9","first-page":"325","volume":"255","author":"G. Winskel","year":"1987","unstructured":"G. Winskel, Event structures,LNCS 255 (1987) 325\u2013392.","journal-title":"LNCS"}],"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_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:20:01Z","timestamp":1619558401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}