{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:23Z","timestamp":1725505583228},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540784975"},{"type":"electronic","value":"9783540784999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78499-9_18","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T23:02:25Z","timestamp":1207090945000},"page":"246-260","source":"Crossref","is-referenced-by-count":7,"title":["The Microcosm Principle and Concurrency in Coalgebra"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Sokolova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/aima.1997.1695","volume":"135","author":"J.C. Baez","year":"1998","unstructured":"Baez, J.C., Dolan, J.: Higher dimensional algebra III: n-categories and the algebra of opetopes. Adv. Math.\u00a0135, 145\u2013206 (1998)","journal-title":"Adv. Math."},{"key":"18_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1985","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985)"},{"key":"18_CR3","unstructured":"Bartels, F.: On generalised coinduction and probabilistic specification formats. Distributive laws in coalgebraic modelling. PhD thesis, Free Univ. Amsterdam (2004)"},{"key":"18_CR4","series-title":"Encyclopedia of Mathematics","volume-title":"Handbook of Categorical Algebra","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics, vol.\u00a050, 51, 52. Cambridge Univ. Press, Cambridge (1994)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/11817949_27","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"I. Hasuo","year":"2006","unstructured":"Hasuo, I.: Generic forward and backward simulations. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 406\u2013420. Springer, Heidelberg (2006)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods in Comp. Sci.\u00a03(4\u201311) (2007)","DOI":"10.2168\/LMCS-3(4:11)2007"},{"key":"18_CR7","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"issue":"1\u20132","key":"18_CR8","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.tcs.2006.07.007","volume":"366","author":"M. Hyland","year":"2006","unstructured":"Hyland, M., Power, A.J.: Discrete Lawvere theories and computational effects. Theor. Comp. Sci.\u00a0366(1\u20132), 144\u2013162 (2006)","journal-title":"Theor. Comp. Sci."},{"key":"18_CR9","volume-title":"Categorical Logic and Type Theory","author":"B. Jacobs","year":"1999","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. North Holland, Amsterdam (1999)"},{"key":"18_CR10","series-title":"Elect. Notes in Theor. Comp. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/b101561","volume-title":"Coalgebraic Methods in Computer Science","author":"B. Jacobs","year":"2004","unstructured":"Jacobs, B.: Trace semantics for coalgebras. In: Ad\u00e1mek, J., Milius, S. (eds.) Coalgebraic Methods in Computer Science. Elect. Notes in Theor. Comp. Sci., vol.\u00a0106, Elsevier, Amsterdam (2004)"},{"key":"18_CR11","unstructured":"Jacobs, B.: Introduction to coalgebra. Towards mathematics of states and observations (2005) Draft of a book, www.cs.ru.nl\/B.Jacobs\/PAPERS\/index.html"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/11780274_20","volume-title":"Algebra, Meaning, and Computation","author":"B. Jacobs","year":"2006","unstructured":"Jacobs, B.: A bialgebraic review of deterministic automata, regular expressions and languages. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 375\u2013404. Springer, Heidelberg (2006)"},{"key":"18_CR13","volume-title":"Logic in Computer Science","author":"P.T. Johnstone","year":"1998","unstructured":"Johnstone, P.T., Power, A.J., Tsujishita, T., Watanabe, H., Worrell, J.: An axiomatics for categories of transition systems as coalgebras. In: Logic in Computer Science, IEEE, Computer Science Press, Los Alamitos (1998)"},{"issue":"4","key":"18_CR14","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/j.ic.2005.11.003","volume":"204","author":"M. Kick","year":"2006","unstructured":"Kick, M., Power, A.J., Simpson, A.: Coalgebraic semantics for timed processes. Inf. & Comp.\u00a0204(4), 588\u2013609 (2006)","journal-title":"Inf. & Comp."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Klin, B.: From bialgebraic semantics to congruence formats. In: Workshop on Structural Operational Semantics (SOS 2004). Elect. Notes in Theor. Comp. Sci. 128, 3\u201337 (2005)","DOI":"10.1016\/j.entcs.2004.09.038"},{"key":"18_CR16","first-page":"336","volume-title":"Logic in Computer Science","author":"B. Klin","year":"2007","unstructured":"Klin, B.: Bialgebraic operational semantics and modal logic. In: Logic in Computer Science, pp. 336\u2013345. IEEE Computer Society, Los Alamitos (2007)"},{"key":"18_CR17","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/S0049-237X(08)71104-2","volume-title":"Handbook of Mathematical Logic","author":"A. Kock","year":"1977","unstructured":"Kock, A., Reyes, G.E.: Doctrines in categorical logic. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 283\u2013313. North-Holland, Amsterdam (1977)"},{"key":"18_CR18","unstructured":"Lawvere, F.W.: Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theories. PhD thesis, Columbia University, 1963. Reprints in Theory and Applications of Categories 5, 1\u2013121 (2004)"},{"key":"18_CR19","unstructured":"Lee, E.A.: Making concurrency mainstream, Invited talk at CONCUR 2006 (2006)"},{"key":"18_CR20","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, Berlin (1998)","edition":"2"},{"key":"18_CR21","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"18_CR22","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 computation and monads. Inf. & Comp.\u00a093(1), 55\u201392 (1991)","journal-title":"Inf. & Comp."},{"issue":"5","key":"18_CR23","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.ipl.2004.11.007","volume":"93","author":"M.R. Mousavi","year":"2005","unstructured":"Mousavi, M.R., Reniers, M.A., Groote, J.F.: A syntactic commutativity format for SOS. Inform. Process. Lett.\u00a093(5), 217\u2013223 (2005)","journal-title":"Inform. Process. Lett."},{"key":"18_CR24","unstructured":"Nishizawa, K., Power, A.J.: Lawvere theories enriched over a general base. Journ. of Pure & Appl. Algebra (to appear, 2006)"},{"key":"18_CR25","series-title":"Elect. Notes in Theor. Comp. Sci.","volume-title":"Category Theory and Computer Science","author":"J. Power","year":"1999","unstructured":"Power, J., Turi, D.: A coalgebraic foundation for linear time semantics. In: Category Theory and Computer Science. Elect. Notes in Theor. Comp. Sci., vol.\u00a029, Elsevier, Amsterdam (1999)"},{"key":"18_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comp. Sci.\u00a0249, 3\u201380 (2000)","journal-title":"Theor. Comp. Sci."},{"key":"18_CR27","first-page":"280","volume-title":"Logic in Computer Science","author":"D. Turi","year":"1997","unstructured":"Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: Logic in Computer Science, pp. 280\u2013291. IEEE, Computer Science Press, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78499-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:11:29Z","timestamp":1619521889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78499-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540784975","9783540784999"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78499-9_18","relation":{},"subject":[]}}