{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:18:56Z","timestamp":1761513536593,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116167"},{"type":"electronic","value":"9783319116174"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11617-4_10","type":"book-chapter","created":{"date-parts":[[2014,10,24]],"date-time":"2014-10-24T09:53:49Z","timestamp":1414144429000},"page":"133-148","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Foundation of Systems Engineering"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Luzeaux","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abramsky, S., Gay, S., Nagarajan, R.: Interaction categories and the foundations of typed concurrent programming. In: Proceedings of the 1994 Marktoberdorf Summer School. NATO ASI Series. Springer (1995)","key":"10_CR1","DOI":"10.1007\/978-3-642-61455-2_10"},{"unstructured":"Alexiev, V.: Applications of linear logic to computation: an overview. TR93-18, Univ. of Alberta, Canada (1993)","key":"10_CR2"},{"unstructured":"Baez, J.: Categories in control. Talk at Erlangen University. Downloadable as johncarlosbaez.wordpress.com\/2014\/02\/06\/categories-in-control (2014)","key":"10_CR3"},{"unstructured":"Baez, J., Erbele, J.: Categories in control. Downloadable as arXiv.1405.6881v1[math.CT] (2014)","key":"10_CR4"},{"unstructured":"Brown, C.: Relating Petri nets to formulae of linear logic. LFCS Report Series ECS-LFCS-89-87, Univ. of Edinburgh (1989)","key":"10_CR5"},{"doi-asserted-by":"crossref","unstructured":"Brown, C., Gurr, D., de Paiva, V.: A linear spcification language for Petri nets. TR-DAIMI-PB-363, Univ. of Aarhus (1991)","key":"10_CR6","DOI":"10.7146\/dpb.v20i363.6594"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-63172-0_32","volume-title":"Computer Science Logic","author":"G.L. Cattani","year":"1997","unstructured":"Cattani, G.L., Winskel, G.: Presheaf models for concurrency. In: van Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol.\u00a01258, pp. 58\u201375. Springer, Heidelberg (1997)"},{"unstructured":"Bagnol, M., Guatto, A.: Synchronous machines: a traced category. Draft downloadable as hal.inria.fr\/hal-00748010 (2012)","key":"10_CR8"},{"unstructured":"Coecke, B., Paquette, E.O.: Categories for the practising physicist. Downloadable as arXiv.0905.3010v2[quant-ph] (2009)","key":"10_CR9"},{"doi-asserted-by":"crossref","unstructured":"Engberg, U.H., Winskel, G.: Linear logic on Petri nets. BRICS Report Series RS-94-3, Univ. of Aarhus (1994)","key":"10_CR10","DOI":"10.7146\/brics.v1i3.21667"},{"key":"10_CR11","volume-title":"Categories for Software Engineering","author":"J.L. Fiadeiro","year":"2005","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Berlin (2005)"},{"doi-asserted-by":"crossref","unstructured":"Fiori, C.: A first course in topos quantum theory. Lecture Notes in Physics, vol.\u00a0868. Springer (2013)","key":"10_CR12","DOI":"10.1007\/978-3-642-35713-8"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science, London Mathematical\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science, London Mathematical"},{"issue":"16","key":"10_CR14","doi-asserted-by":"publisher","first-page":"8039","DOI":"10.1016\/j.amc.2012.01.048","volume":"218","author":"B. Golden","year":"2012","unstructured":"Golden, B., Aiguier, M., Krob, D.: Complex systems modeling II: a minimalist and unified semantics for heterogeneous integrated systems. Applied Mathematics and Computation\u00a0218(16), 8039\u20138055 (2012)","journal-title":"Applied Mathematics and Computation"},{"unstructured":"Golden, B.: A unified formalism for complex systems architecture. Ph.D. in Computer Science, Ecole Polytechnique (2013)","key":"10_CR15"},{"unstructured":"Goguen, J.: Categorical foundations for systems theory. In: Pichler, F., Trappl, R. (eds.) Advances in Cybernetics and Systems Research, pp. 121\u2013130. Transcripta Books (1973)","key":"10_CR16"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"Goguen, J.: A categorical manifesto. Mathematical Structures in Computer Science\u00a01(1), 49\u201367 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.: Sheaf semantics for concurrent interacting objects. Mathematical Structures in Computer Science 11 (1992)","key":"10_CR18","DOI":"10.1017\/S0960129500001420"},{"unstructured":"Grosu R., Stauner T.: Modular and visual specifications of hybrid systems: an introduction to HyCharts. TUM-I9801, Technische Universit\u00e4t M\u00fcnchen (1998)","key":"10_CR19"},{"doi-asserted-by":"crossref","unstructured":"Grosu, R., Broy, M., Selic, B., Stefanescu, G.: What is behind UML-RT? In: Behavioral Specifications of Businesses and Systems, pp. 73\u201388 (1999)","key":"10_CR20","DOI":"10.1007\/978-1-4615-5229-1_6"},{"doi-asserted-by":"crossref","unstructured":"Heunen, C., Sadrzadeh, M., Grefenstetter, E.: Quantum physics and linguistics. Oxford University Press (2013)","key":"10_CR21","DOI":"10.1093\/acprof:oso\/9780199646296.001.0001"},{"doi-asserted-by":"crossref","unstructured":"Jacobs, B.: From coalgebraic to monoidal traces. Electric Notes in Theoretical Computer Science Proceedings of Coalgebraic Methods in Computer Science (2010)","key":"10_CR22","DOI":"10.1016\/j.entcs.2010.07.017"},{"doi-asserted-by":"crossref","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Math. Proc. Camb. Phil. Soc., vol.\u00a0119, pp. 447\u2013468 (1996)","key":"10_CR23","DOI":"10.1017\/S0305004100074338"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","volume":"115","author":"P. Katis","year":"1997","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Bicategories of processes. Journal of Pure and Applied Algebra\u00a0115, 141\u2013178 (1997)","journal-title":"Journal of Pure and Applied Algebra"},{"unstructured":"Katis P., Sabadini N., Walters R.F.C.: On the algebra of feedback and systems with boundary. Rendiconti del Circolo Matematico di Palermo, Serie II (suppl. 63) (1999)","key":"10_CR25"},{"unstructured":"Luzeaux, D.: Towards the engineering of complex systems. Journ\u00e9es N\u00eemes 98 sur les Syst\u00e8mes complexes, syst\u00e8mes intelligents et interfaces, N\u00eemes, France (1998)","key":"10_CR26"},{"unstructured":"Luzeaux, D.: Category theory applied to digital systems theory. In: 4th World Multiconference on Systemics, Cybernetics, and Informatics, Orlando, FL, USA (1998)","key":"10_CR27"},{"unstructured":"Luzeaux, D.: Vers une nouvelle th\u00e9orie abstraite des syst\u00e8mes en vue de leur ing\u00e9nierie. In: 5e conf\u00e9rence annuelle d\u2019ing\u00e9nierie syst\u00e8me de l\u2019AFIS, Paris (2009)","key":"10_CR28"},{"key":"10_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the working mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the working mathematician, 1st edn. Springer, New York (1971)","edition":"1"},{"key":"10_CR30","volume-title":"Categories for the working mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the working mathematician, 2nd edn. Springer, New York (1998)","edition":"2"},{"unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in geometry and logic: a first introduction to topos theory. Springer (1968)","key":"10_CR31"},{"doi-asserted-by":"crossref","unstructured":"Malherbe, O., Scott, P., Selinger, P.: Presheaf models of quantum computation: an outline. Downloadable as arXiv:1302.5652v1 (2013)","key":"10_CR32","DOI":"10.1007\/978-3-642-38164-5_13"},{"issue":"1","key":"10_CR33","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computations and monads. Information and Computation\u00a093(1), 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/3-540-58043-3_25","volume-title":"A Decade of Concurrency","author":"M. Nielsen","year":"1994","unstructured":"Nielsen, M., Sassone, V., Winskel, G.: Relationships between models of concurrency. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 425\u2013476. Springer, Heidelberg (1994)"},{"doi-asserted-by":"crossref","unstructured":"Pavlovic, D.: Tracing the man in the middle in monoidal categories. Downloadable as arXiv:1203.6324v1 (2012)","key":"10_CR35","DOI":"10.1007\/978-3-642-32784-1_11"},{"key":"10_CR36","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1016\/j.is.2005.02.005","volume":"31","author":"J. Rao","year":"2006","unstructured":"Rao, J., K\u00fcngas, P., Matskin, M.: Composition of semantic Web services using linear logic therorem proving. Information Systems\u00a031, 340\u2013360 (2006)","journal-title":"Information Systems"},{"key":"10_CR37","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S096012959700248X","volume":"8","author":"V. Sassone","year":"1998","unstructured":"Sassone, V.: An axiomatization of the category of Petri net computations. Mathematical Structures in Computer Science\u00a08, 117\u2013151 (1998)","journal-title":"Mathematical Structures in Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Selinger, P.: Categorical structure of asynchrony. Electric Notes in Theoretical Computer Science 20 (1999)","key":"10_CR38","DOI":"10.1016\/S1571-0661(04)80073-2"},{"doi-asserted-by":"crossref","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. Downloadable as arXiv:0908.3347v1 (2009)","key":"10_CR39","DOI":"10.1007\/978-3-642-12821-9_4"},{"issue":"11","key":"10_CR40","doi-asserted-by":"crossref","first-page":"107","DOI":"10.17512\/jamcm.2012.1.11","volume":"1","author":"V. Slodicak","year":"2012","unstructured":"Slodicak, V.: Toposes are symmetric monoidal closed categories. Scientific Research of the Institute of Mathematics and Computer Science\u00a01(11), 107\u2013116 (2012)","journal-title":"Scientific Research of the Institute of Mathematics and Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Winskel, G.: Petri net algebras, morphisms and compositionality. Information and Computation, 197\u2013238 (1987)","key":"10_CR41","DOI":"10.1016\/0890-5401(87)90032-0"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11617-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T16:04:51Z","timestamp":1676909091000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11617-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319116167","9783319116174"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11617-4_10","relation":{},"subject":[],"published":{"date-parts":[[2015]]}}}