乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:55Z","timestamp":1725663655282},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_89","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:48:10Z","timestamp":1330192090000},"page":"188-202","source":"Crossref","is-referenced-by-count":1,"title":["The observation algebra of spatial pomsets"],"prefix":"10.1007","author":[{"given":"Gian Luigi","family":"Ferrari","sequence":"first","affiliation":[]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"Austry, D. Boudol, G. Algebra de Processus et Synchronization, Theoretical Computer Science 30 (1), pp 91\u2013131, 1984.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"15_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"Boudol, G., Castellani, I., Concurrency and Atomicity, Theoretical Computer Science 59 (1,2), pp. 25\u201384, 1988.","journal-title":"Theoretical Computer Science"},{"key":"15_CR3","first-page":"411","volume":"354","author":"G. Boudol","year":"1989","unstructured":"Boudol, G., Castellani, I., Permutations of Transitions: An Event Structure Semantics for CCS, In Proc. REX School, Workshop on Linear Time Branching Time and Partial Orders in Logics and Models for Concurrency, LNCS 354, pp 411\u2013437 1989.","journal-title":"LNCS"},{"key":"15_CR4","first-page":"96","volume":"469","author":"G. Boudol","year":"1990","unstructured":"Boudol, G., Castellani, I., Three Equivalent Semantics Semantics for CCS, In Semantics of Systems of Concurrent Processes, LNCS 469, pp 96\u2013141, 1990.","journal-title":"LNCS"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Boudol, G., Castellani, I., Kiehn, A., Hennessy, M., Observing Localities, To appear Proc. MFCS 1991, LNCS, 1991.","DOI":"10.1007\/3-540-54345-7_52"},{"issue":"3","key":"15_CR6","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.D., A Theory of Communicating Sequential Processes, Journal of ACM 31 (3), pp 560\u2013599, 1984.","journal-title":"Journal of ACM"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra, J., Klop, W., Process Algebra for Synchronous Communication, Information and Control 60, pp 109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, A., Sistla, P. Automatic Verifications of Finite State Concurrent Systems using Temporal Logic Specifications, ACM, TOPLAS, 8, pp 244\u2013263, 1986.","journal-title":"ACM, TOPLAS"},{"key":"15_CR9","first-page":"185","volume":"469","author":"A. Corradini","year":"1990","unstructured":"Corradini, A., Ferrari, G., Montanari, U. Transition Systems with Algebraic Structure as Models of Computations, In Semantics of Systems of Concurrent Processes, LNCS 469, pp 185\u2013222, 1990.","journal-title":"LNCS"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1016\/0022-0000(87)90032-8","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P., Montanari, U., Concurrent Histories: A Basis for Observing Distributed Systems, Journal of Computer and System Sciences 34, pp 422\u2013461, 1987.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"15_CR11","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone De","year":"1985","unstructured":"De Simone, R., Higher Level Synchronising Devices in MEIJE-SCCS, Theoretical Computer Science, 37 (3), pp 245\u2013267, 1985.","journal-title":"Theoretical Computer Science"},{"key":"15_CR12","first-page":"29","volume":"494","author":"G. Ferrari","year":"1991","unstructured":"Ferrari, G., Gorrieri, R., Montanari, U., An Extended Expansion Theorem, In Proc. TAPSOFT 91, LNCS 494, pp 29\u201348, 1991.","journal-title":"LNCS"},{"key":"15_CR13","first-page":"162","volume":"431","author":"G. Ferrari","year":"1990","unstructured":"Ferrari, G., Montanari, U., Towards the Unification of Models for Concurrency, Proc. CAAP'90, LNCS 431, pp 162\u2013176, 1990.","journal-title":"LNCS"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Harel, D. Dynamic Logic, In Handbook of Philosophical Logic, Vol II, (Gabbay-Guenthner Eds.), pp 497\u2013604, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"15_CR16","unstructured":"Hennessy, M. An Algebraic Theory of Processes, MIT Press, 1988."},{"issue":"1","key":"15_CR17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R., Algebraic Laws for Nondeterminism and Concurrency, Journal of ACM 32 (1), pp 137\u2013141, 1985.","journal-title":"Journal of ACM"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Lamport, L. What Good is Temporal Logic, IFIP-83, pp 657\u2013668, 1983.","DOI":"10.1145\/2402.322398"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A. Concurrent Program Schemes and their Interpretations, Technical Report DAIMI PB-78, Aarhus University, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"15_CR20","first-page":"285","volume":"354","author":"A. Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A. Basic Notions of Trace Theory,In Proc. REX School, Workshop on Linear Time Branching Time and Partial Orders in Logics and Models for Concurrency, LNCS 354, pp 285\u2013363, 1989.","journal-title":"LNCS"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Milner, R., A Calculus of Communicating Systems, LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"15_CR22","first-page":"25","volume":"112","author":"R. Milner","year":"1981","unstructured":"Milner, R. A Modal Characterization of the Observable Machine Behaviour, In Proc. CAAP 81, LNCS 112, pp 25\u201334, 1981.","journal-title":"LNCS"},{"key":"15_CR23","unstructured":"Milner, R., Communication and Concurrency, Prentice Hall, 1989."},{"key":"15_CR24","first-page":"201","volume":"354","author":"Z. Manna","year":"1989","unstructured":"Manna, Z., Pnueli, A. The Anchored Version of the Temporal Framework, In Proc. REX School, Workshop on Linear Time Branching Time and Partial Orders in Logics and Models for Concurrency, LNCS 354, pp 201\u2013284 1989.","journal-title":"LNCS"},{"key":"15_CR25","first-page":"167","volume":"104","author":"D. Park","year":"1981","unstructured":"Park, D., Concurrency and Automata on Infinite Sequences, in Proc. GI, LNCS 104, pp 167\u2013183, 1981.","journal-title":"LNCS"},{"issue":"1","key":"15_CR26","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G. Petri Nets, Event Structures and Domains (Part I). Theoretical Computer Science, 13 (1), pp 85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"15_CR27","unstructured":"Plotkin, G. A Structured Approach to Operational Semantics, DAIMI FN-19, Computer Science Dept. University of Aarhus, 1981."},{"key":"15_CR28","unstructured":"Plotkin, G., Pratt, W., Teams Can See Pomsets, Preliminary Report, August 1990."},{"issue":"1","key":"15_CR29","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V., Modelling Concurrency with Partial Orders, Int. Journal of Parallel Programming, 15 (1), pp 381\u2013400, 1986.","journal-title":"Int. Journal of Parallel Programming"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Reisig, W. Petri Nets: An Introduction, EATCS Monograph, Springer, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"15_CR31","unstructured":"Stirling, C. Modal and Temporal Logics, To appear in Handbook of Logic in Computer Science, Vol I, (Gabbay-Maibaum Eds.) Oxford University Press."},{"key":"15_CR32","first-page":"561","volume":"140","author":"G. Winskel","year":"1982","unstructured":"Winskel, G. Event Structure Semantics for CCS and Related Languages, Proc. ICALP 82, LNCS 140, pp 561\u2013576, 1982.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T22:47:32Z","timestamp":1640904452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}