{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:29:58Z","timestamp":1743146998964,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030025076"},{"type":"electronic","value":"9783030025083"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02508-3_13","type":"book-chapter","created":{"date-parts":[[2018,10,13]],"date-time":"2018-10-13T14:22:47Z","timestamp":1539440567000},"page":"231-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Spatio-Temporal Domains: An Overview"],"prefix":"10.1007","author":[{"given":"David","family":"Janin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,15]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Design. Cambridge University Press, Cambridge (2010). \n                      https:\/\/doi.org\/10.1017\/cbo9781139195881","key":"13_CR1","DOI":"10.1017\/cbo9781139195881"},{"doi-asserted-by":"publisher","unstructured":"Archipoff, S., Janin, D.: Structured reactive programming with polymorphic temporal tiles. In: Proceedings of 4th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design FARM 2016, pp. 29\u201340. ACM Press, New York (2016). \n                      https:\/\/doi.org\/10.1145\/2975980.2975984","key":"13_CR2","DOI":"10.1145\/2975980.2975984"},{"doi-asserted-by":"publisher","unstructured":"Archipoff, S., Janin, D.: Unified media programming: an algebraic approach. In: Proceedings of 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design, FARM 2017, pp. 36\u201347. ACM Press, New York (2017). \n                      https:\/\/doi.org\/10.1145\/3122938.3122943","key":"13_CR3","DOI":"10.1145\/3122938.3122943"},{"unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Centre de Recherche Math\u00e9matique (CRM), Montr\u00e9al (1999)","key":"13_CR4"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages twelve years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-08860-1_7","volume-title":"Automata, Languages and Programming","author":"G Berry","year":"1978","unstructured":"Berry, G.: Stable models of typed \n                      \n                        \n                      \n                      $$\\lambda $$\n                      \n                        \n                          \u03bb\n                        \n                      \n                    -calculi. In: Ausiello, G., B\u00f6hm, C. (eds.) ICALP 1978. LNCS, vol. 62, pp. 72\u201389. Springer, Heidelberg (1978). \n                      https:\/\/doi.org\/10.1007\/3-540-08860-1_7"},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-v","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992). \n                      https:\/\/doi.org\/10.1016\/0167-6423(92)90005-v","journal-title":"Sci. Comput. Program."},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BFb0026984","volume-title":"Category Theory and Computer Science","author":"GL Cattani","year":"1997","unstructured":"Cattani, G.L., Stark, I., Winskel, G.: Presheaf models for the \n                      \n                        \n                      \n                      $$\\pi $$\n                      \n                        \n                          \u03c0\n                        \n                      \n                    -calculus. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, vol. 1290, pp. 106\u2013126. Springer, Heidelberg (1997). \n                      https:\/\/doi.org\/10.1007\/BFb0026984"},{"issue":"1\u20133","key":"13_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/s0304-3975(01)00209-2","volume":"300","author":"GL Cattani","year":"2003","unstructured":"Cattani, G.L., Winskel, G.: Presheaf models for CCS-like languages. Theor. Comput. Sci. 300(1\u20133), 47\u201389 (2003). \n                      https:\/\/doi.org\/10.1016\/s0304-3975(01)00209-2","journal-title":"Theor. Comput. Sci."},{"unstructured":"Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. Ph.D. thesis, Department of Computer Science, Stanford University (1985)","key":"13_CR10"},{"doi-asserted-by":"publisher","unstructured":"Cola\u00e7o, J.L., Girault, A., Hamon, G., Pouzet, M.: Towards a higher-order synchronous data-flow language. In: Proceedings of 4th ACM International Conference on Embedded Software, EMSOFT 2004, Pisa, Septemebr 2004, pp. 230\u2013239. ACM Press, New York (2004). \n                      https:\/\/doi.org\/10.1145\/1017753.1017792","key":"13_CR11","DOI":"10.1145\/1017753.1017792"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-45212-6_10","volume-title":"Embedded Software","author":"J-L Cola\u00e7o","year":"2003","unstructured":"Cola\u00e7o, J.-L., Pouzet, M.: Clocks as first class abstract types. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 134\u2013155. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-45212-6_10"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/BFb0026984","volume-title":"The Future of Software Engineering (Meyer Festschrift)","author":"P Cousot","year":"2010","unstructured":"Cousot, P., Cousot, R., Mauborgne, L.: Logical abstract domains and interpretations. In: Nanz, S. (ed.) The Future of Software Engineering (Meyer Festschrift), pp. 48\u201371. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/BFb0026984"},{"doi-asserted-by":"publisher","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: Proceedings of 2nd ACM International Conference on Functional Programming, ICFP 1997, Amsterdam, June 1997, pp. 263\u2013273. ACM Press, New York (1997). \n                      https:\/\/doi.org\/10.1145\/258948.258973","key":"13_CR14","DOI":"10.1145\/258948.258973"},{"doi-asserted-by":"publisher","unstructured":"Elliott, C.M.: Push-pull functional reactive programming. In: Proceedings of 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, September 2009, pp. 25\u201336. ACM Press, New York (2009) \n                      https:\/\/doi.org\/10.1145\/1596638.1596643","key":"13_CR15","DOI":"10.1145\/1596638.1596643"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987). \n                      https:\/\/doi.org\/10.1016\/0304-3975(87)90045-4","journal-title":"Theor. Comput. Sci."},{"unstructured":"Hudak, P.: A sound and complete axiomatization of polymorphic temporal media. Technical report, RR-1259, Department of Computer Science, Yale University (2008)","key":"13_CR17"},{"unstructured":"Hudak, P.: The Haskell School of Music: From Signals to Symphonies. Department of Computer Science, Yale University (2013)","key":"13_CR18"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11546382_2","volume-title":"Advanced Functional Programming","author":"J Hughes","year":"2005","unstructured":"Hughes, J.: Programming with arrows. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol. 3622, pp. 73\u2013129. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/11546382_2"},{"unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, vol. 141. North Holland, Amsterdam (1999). \n                      https:\/\/www.sciencedirect.com\/bookseries\/studies-in-logic-and-the-foundations-of-mathematics\/vol\/141\/","key":"13_CR20"},{"doi-asserted-by":"publisher","unstructured":"Jeffrey, A.: Functional reactive types. In: Proceedings of EACSL Annual Conference and 29th Ann ACM\/IEEE Symposium on Logic in Computer Science, CSL-LICS 2014, Vienna, July 2014, Article 54. ACM Press, New York (2014). \n                      https:\/\/doi.org\/10.1145\/2603088.2603106","key":"13_CR21","DOI":"10.1145\/2603088.2603106"},{"doi-asserted-by":"publisher","unstructured":"Jeltsch, W.: An abstract categorical semantics for functional reactive programming with processes. In: Proceedings of 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, PLPV 2014, San Diego, CA, January 2014, pp. 47\u201358. ACM Press, New York (2014). \n                      https:\/\/doi.org\/10.1145\/2541568.2541573","key":"13_CR22","DOI":"10.1145\/2541568.2541573"},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00006ED1V01Y200508CSL001","volume":"1","author":"Dilsun K. Kaynar","year":"2006","unstructured":"Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata. Synthesis Lectures on Computer Science. Morgan & Claypool Publishers (2006). \n                      https:\/\/doi.org\/10.2200\/s00006ed1v01y200508csl001","journal-title":"Synthesis Lectures on Computer Science"},{"doi-asserted-by":"publisher","unstructured":"Krishnaswami, N.R.: Higher-order functional reactive programming without spacetime leaks. In: Proceedings of 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013, Boston, MA, September 2013, pp. 221\u2013232. ACM Press, New York (2013). \n                      https:\/\/doi.org\/10.1145\/2500365.2500588","key":"13_CR24","DOI":"10.1145\/2500365.2500588"},{"doi-asserted-by":"publisher","unstructured":"Krishnaswami, N.R., Benton, N.: Ultrametric semantics of reactive programs. In: Proceedings of 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, Toronto, ON, June 2011, pp. 257\u2013266. IEEE CS Press, Washington, DC (2011). \n                      https:\/\/doi.org\/10.1109\/lics.2011.38","key":"13_CR25","DOI":"10.1109\/lics.2011.38"},{"issue":"1","key":"13_CR26","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.tcs.2008.08.044","volume":"409","author":"X Liu","year":"2008","unstructured":"Liu, X., Lee, E.A.: CPO semantics of timed interactive actor networks. Theor. Comput. Sci. 409(1), 110\u2013125 (2008). \n                      https:\/\/doi.org\/10.1016\/j.tcs.2008.08.044","journal-title":"Theor. Comput. Sci."},{"key":"13_CR27","series-title":"Universitext","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Universitext","author":"S Mac Lane","year":"1992","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Universitext. U. Springer, New York (1992). \n                      https:\/\/doi.org\/10.1007\/978-1-4612-0927-0"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.tcs.2015.01.036","volume":"574","author":"E Matsikoudis","year":"2015","unstructured":"Matsikoudis, E., Lee, E.A.: The fixed-point theory of strictly causal functions. Theor. Comput. Sci. 574, 39\u201377 (2015)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Streicher, T.: Fibred categories \u00e0 la Jean B\u00e9nabou. Revised notes of a course on fibred categories given at a spring school in Munich 1999 (2014)","key":"13_CR29"},{"issue":"5","key":"13_CR30","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/mdt.2007.151","volume":"24","author":"P Teehan","year":"2007","unstructured":"Teehan, P., Greenstreet, M.R., Lemieux, G.G.: A survey and taxonomy of GALS design styles. IEEE Des. Test. Comput. 24(5), 418\u2013428 (2007). \n                      https:\/\/doi.org\/10.1109\/mdt.2007.151","journal-title":"IEEE Des. Test. Comput."},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1987). \n                      https:\/\/doi.org\/10.1007\/3-540-17906-2_31"},{"unstructured":"Winskel, G.: Events, causality and symmetry. In: Proceedings of BCS International Academic Conference on Visions of Computer Science, London, September 2008, pp. 111\u2013127. Electronic Workshops in Computing. British Computer Society (2008). \n                      https:\/\/ewic.bcs.org\/content\/ConWebDoc\/22872","key":"13_CR32"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2018"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02508-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T02:49:46Z","timestamp":1583203786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02508-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030025076","9783030025083"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02508-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"15 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Stellenbosch","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"South Africa","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ictac.org.za\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}