{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T22:10:17Z","timestamp":1780611017391,"version":"3.54.1"},"reference-count":34,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5755,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1993,6]]},"abstract":"<jats:p>Various notions of observing and testing processes are placed in a uniform algebraic framework in which observations are taken as constituting a quantale. General completeness criteria are stated, and proved in our applications.<\/jats:p>","DOI":"10.1017\/s0960129500000189","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:01:47Z","timestamp":1236157307000},"page":"161-227","source":"Crossref","is-referenced-by-count":125,"title":["Quantales, observational logic and process semantics"],"prefix":"10.1017","volume":"3","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steven","family":"Vickers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000189_ref022","volume":"309","author":"Joyal","year":"1984","journal-title":"Memoirs of the American Mathematical Society"},{"key":"S0960129500000189_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90100-4"},{"key":"S0960129500000189_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90106-2"},{"key":"S0960129500000189_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036900"},{"key":"S0960129500000189_ref008","doi-asserted-by":"publisher","DOI":"10.1145\/828.833"},{"key":"S0960129500000189_ref038","doi-asserted-by":"publisher","DOI":"10.2307\/1990008"},{"key":"S0960129500000189_ref037","volume-title":"Topology via Logic","author":"Vickers","year":"1989"},{"key":"S0960129500000189_ref006","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1093\/oso\/9780198537601.003.0002","volume-title":"Topology and Category Theory in Computer Science","author":"Blamey","year":"1991"},{"key":"S0960129500000189_ref036","volume-title":"Quantales and their Applications","author":"Rosenthal","year":"1990"},{"key":"S0960129500000189_ref005","volume-title":"Ready trace semantics for concrete process algebra with priority operator","author":"Baeten","year":"1985"},{"key":"S0960129500000189_ref035","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015727"},{"key":"S0960129500000189_ref004","volume-title":"Quantales, Observational Logic and Process Semantics","author":"Abramsky","year":"1990"},{"key":"S0960129500000189_ref034","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90117-4"},{"key":"S0960129500000189_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"S0960129500000189_ref033","volume":"104","author":"Park","year":"1981","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"S0960129500000189_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90065-X"},{"key":"S0960129500000189_ref032","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268075"},{"key":"S0960129500000189_ref031","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100065403"},{"key":"S0960129500000189_ref019","volume-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"S0960129500000189_ref018","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-642-72822-8_16","volume-title":"Concurrency and Nets","author":"Hennessy","year":"1987"},{"key":"S0960129500000189_ref017","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"S0960129500000189_ref016","volume-title":"Algebraic Theory of Processes","author":"Hennessy","year":"1988"},{"key":"S0960129500000189_ref015","volume-title":"Proofs and Types","author":"Girard","year":"1989"},{"key":"S0960129500000189_ref014","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1090\/conm\/092\/1003197","volume":"92","author":"Girard","year":"1989","journal-title":"Contemporary Mathematics"},{"key":"S0960129500000189_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S0960129500000189_ref012","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic III: Alternatives to Classical Logic","author":"Dunn","year":"1986"},{"key":"S0960129500000189_ref011","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-17660-8_53","volume":"249","author":"DeNicola","year":"1987","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"S0960129500000189_ref010","volume-title":"Regular Algebra and Finite Machines","author":"Conway","year":"1971"},{"key":"S0960129500000189_ref029","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(72)90002-3"},{"key":"S0960129500000189_ref028","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"S0960129500000189_ref027","volume-title":"Springer Lecture Notes in Computer Science","author":"Milner","year":"1980"},{"key":"S0960129500000189_ref026","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"S0960129500000189_ref024","doi-asserted-by":"publisher","DOI":"10.2307\/2310058"},{"key":"S0960129500000189_ref021","volume-title":"Stone Spaces","author":"Johnstone","year":"1982"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T01:44:47Z","timestamp":1710121487000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000189\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["S0960129500000189"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000189","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}