{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:32Z","timestamp":1725491612304},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744061"},{"type":"electronic","value":"9783540744078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74407-8_26","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T14:30:48Z","timestamp":1187447448000},"page":"380-394","source":"Crossref","is-referenced-by-count":11,"title":["Reactive Systems over Directed Bigraphs"],"prefix":"10.1007","author":[{"given":"Davide","family":"Grohmann","sequence":"first","affiliation":[]},{"given":"Marino","family":"Miculan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"ENTCS","volume-title":"Pre-proceedings of TERMGRAPH 2007","author":"D. Grohmann","year":"2007","unstructured":"Grohmann, D., Miculan, M.: An algebra for directed bigraphs. In: Mackie, I., Plump, D. (eds.) Pre-proceedings of TERMGRAPH 2007. ENTCS, Elsevier, Amsterdam (2007)"},{"key":"26_CR2","series-title":"ENTCS","first-page":"121","volume-title":"Proc.\u00a0XXIII MFPS","author":"D. Grohmann","year":"2007","unstructured":"Grohmann, D., Miculan, M.: Directed bigraphs. In: Proc.\u00a0XXIII MFPS. ENTCS, vol.\u00a0173, pp. 121\u2013137. Elsevier, Amsterdam (2007)"},{"doi-asserted-by":"crossref","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and transitions. In: Proc.\u00a0POPL (2003)","key":"26_CR3","DOI":"10.1145\/604131.604135"},{"unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical report UCAM-CL-TR-580, Computer Laboratory, University of Cambridge (2004)","key":"26_CR4"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001 - Concurrency Theory","author":"R. Milner","year":"2001","unstructured":"Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 16\u201335. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Milner, R.: Pure bigraphs: Structure and dynamics. Inf. Comput.\u00a0204(1) (2006)","key":"26_CR6","DOI":"10.1016\/j.ic.2005.07.003"},{"key":"26_CR7","first-page":"176","volume-title":"Proceedings of LICS 1998","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Proceedings of LICS 1998, pp. 176\u2013185. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"26_CR8","first-page":"311","volume-title":"Proc. LICS 2005, 20th IEEE Symposium on Logic in Computer Science","author":"V. Sassone","year":"2005","unstructured":"Sassone, V., Soboci\u0144ski, P.: Reactive systems over cospans. In: Proc. LICS 2005, 20th IEEE Symposium on Logic in Computer Science, Chicago, IL, USA, 26-29 June 2005, pp. 311\u2013320. IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2007 \u2013 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74407-8_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:25:04Z","timestamp":1619519104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74407-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744061","9783540744078"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74407-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}