{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:45Z","timestamp":1725663105837},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099819"},{"type":"electronic","value":"9783540392330"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-09981-6_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:57:12Z","timestamp":1330189032000},"page":"92-107","source":"Crossref","is-referenced-by-count":2,"title":["Processus non-sequentiels et leurs observations en univers non-centralise"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"issue":"12","key":"7_CR1","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1145\/359897.359904","volume":"20","author":"I. Greif","year":"1977","unstructured":"Greif, I., A language for Formal Problem Specification, CACM 20, 12, pp. 931\u2013935 (1977).","journal-title":"CACM"},{"key":"7_CR2","first-page":"987","volume":"77","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C. et Baker H., Laws for Communicating Parallel Processes, IFIP 77 (North-Holland), pp. 987\u2013992 (1977).","journal-title":"IFIP"},{"key":"7_CR3","unstructured":"Kahn, G. et Plotkin, G., Domaines concrets, IRIA, RR 336 (1978)."},{"issue":"7","key":"7_CR4","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L., Time, clocks, and the Ordering of Events in a Distributed System, CACM 21, 7, pp. 558\u2013564 (1978).","journal-title":"CACM"},{"key":"7_CR5","volume-title":"Synthesis of Communicating Behaviour","author":"R. Milner","year":"1978","unstructured":"Milner, R., Synthesis of Communicating Behaviour, 7th Symposium on Math. Foundations of Comp. Science, Zakopane, Poland (1978)."},{"issue":"11","key":"7_CR6","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/988056.988065","volume":"14","author":"J. Nead","year":"1979","unstructured":"Nead, J., On the Semantics of Control Statements, SIGPLAN Notices 14, 11, pp. 84\u201396 (1979).","journal-title":"SIGPLAN Notices"},{"key":"7_CR7","unstructured":"Nielsen, M., Plotkin, G., Winskel, G., Petri nets, event structures and Domains, Semantics of Concurrent Computation, Evian (1979)."}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09981-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:31:53Z","timestamp":1619555513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09981-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099819","9783540392330"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-09981-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}