{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:12:43Z","timestamp":1761610363199,"version":"build-2065373602"},"reference-count":20,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(05)80315-9","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"169-186","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["Precategories for Combining Probabilistic Automata"],"prefix":"10.1016","volume":"29","author":[{"given":"Paulo","family":"Mateus","sequence":"first","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80315-9_BIB1","series-title":"John Wiley & Sons","article-title":"Abstract and Concrete Categories: the joy of cats","author":"Ad\u00e1mek","year":"1990"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB2","series-title":"Prentice-Hall International Series in Computer Science","article-title":"Category Theory for Computing Science","author":"Barr","year":"1990"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB3","doi-asserted-by":"crossref","unstructured":"R. Blute, J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation for labelled Markov processes. In Proceedings, Twelth Annual IEEE Symposium on Logic in Computer Science, pages 149\u2013158, Warsaw, Poland, 29 June\u20132 July 1997. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1997.614943"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB4","article-title":"Quelques probl\u00e8mes typiques concernant les graphes","volume":"3:C1-C46","author":"Coppey","year":"1980","journal-title":"Diagrammes"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB5","series-title":"Dunod","article-title":"Cat\u00e9gories et Structures","author":"Ehresmann","year":"1965"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB6","article-title":"A categorial approach to probability theory","volume":"915","author":"Giry","year":"1981","journal-title":"Categorical Aspects of Topology and Analysis, Lecture Notes in Mathematics"},{"issue":"1","key":"10.1016\/S1571-0661(05)80315-9_BIB7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","article-title":"A categorical manifesto","volume":"1","author":"Goguen","year":"1991","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/S1571-0661(05)80315-9_BIB8","series-title":"Van Nostrand, New York, NY","article-title":"Measure Theory","author":"Halmos","year":"1950"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB9","article-title":"Free adjunction of morphisms","author":"Herrlich","year":"1998","journal-title":"Submitted for publication"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB10","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1023\/A:1008648428060","article-title":"Categorical properties of probabilistic convergence spaces","volume":"6","author":"Herrlich","year":"1998","journal-title":"Applied Categorical Structures"},{"issue":"1","key":"10.1016\/S1571-0661(05)80315-9_BIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"Bisimulation through probabilistic testing","volume":"94","author":"Larsen","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB12","article-title":"Stochastic techniques in concurrency","author":"Panangaden","year":"1997","journal-title":"Draft provided by CISM"},{"issue":"1","key":"10.1016\/S1571-0661(05)80315-9_BIB13","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/S0019-9958(66)90092-1","article-title":"Some aspects of probabilistic automata","volume":"9","author":"Paz","year":"1966","journal-title":"Information and Control"},{"issue":"3","key":"10.1016\/S1571-0661(05)80315-9_BIB14","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","article-title":"Probabilistic automata","volume":"6","author":"Rabin","year":"1963","journal-title":"Information and Control"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB15","article-title":"Universal aspects of probabilistic automata","author":"Schr\u00f6der","year":"1999","journal-title":"Research report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal, Submitted for publication"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB16","series-title":"Recent Trends in Data Type Specification, volume LNCS 785","first-page":"337","article-title":"An institution of object behaviour","author":"Sernadas","year":"1994"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB17","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1007\/s002360050141","article-title":"Denotational semantics of object specification","volume":"35","author":"Sernadas","year":"1998","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB18","first-page":"130","article-title":"Reactive, generative and stratified models for probabilistic processes","author":"van Glabbeek, S. Smolka","year":"1990","journal-title":"Proc. LICS"},{"issue":"3","key":"10.1016\/S1571-0661(05)80315-9_BIB19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","article-title":"Petri nets, algebras, morphisms, and compositionality","volume":"72","author":"Winskel","year":"1987","journal-title":"Inform. and Comput"},{"key":"10.1016\/S1571-0661(05)80315-9_BIB20","series-title":"Handbook of Logic in Computer Science 4","first-page":"1","article-title":"Models of concurrency","author":"Winskel","year":"1995"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803159?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803159?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:08Z","timestamp":1761610088000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105803159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":20,"alternative-id":["S1571066105803159"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80315-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Precategories for Combining Probabilistic Automata","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80315-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1999 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}