{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:55Z","timestamp":1742617195439,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601173"},{"type":"electronic","value":"9783540494454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60117-1_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:43:46Z","timestamp":1330278226000},"page":"214-231","source":"Crossref","is-referenced-by-count":3,"title":["A graphical calculus"],"prefix":"10.1007","author":[{"given":"Sharon","family":"Curtis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gavin","family":"Lowe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"12_CR1","unstructured":"Stephen Brien. A time-interval calculus. In R. Bird, C. Morgan, and J. Woodcock, editors, Mathematics of Program Construction, volume 669 of LNCS. Springer Verlag, 1992."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Carolyn Brown and Graham Hutton. Categories, allegories and circuit design. In Ninth Annual IEEE Symposium on Logic in Computer Science, pages 372\u2013381, 1994.","DOI":"10.1109\/LICS.1994.316052"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Carolyn Brown and Alan Jeffrey. Allegories of circuits. In Third International Symposium, Logical Foundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 56\u201368. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58140-5_7"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra. The unification of three calculi. In M. Broy, editor, Program Design Calculi, pages 197\u2013231. Springer Verlag, 1993.","DOI":"10.1007\/978-3-662-02880-3_7"},{"key":"12_CR5","unstructured":"Peter Preyd and Andre Scedrov. Categories, Allegories. North-Holland, 1990."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"12_CR7","unstructured":"Graham Hutton, Erik Meijer, and Ed Voermans. A tool for relational programmers. Available on WWW from http:\/\/www.cs.ruu.nl\/people\/graham\/allegories.txt, 1994."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"S. Kleene. Representation of events in nerve nets and finite automata. In Shannon and McCarthy, editors, Automata Studies, pages 3\u201342. Princeton University Press, 1956.","DOI":"10.1515\/9781400882618-002"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"A. Tarski. On the calculus of relations. Journal of Symbolic Logic, 6:73\u201389, 1941.","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0020-0190(94)00205-D","volume":"53","author":"B. v. Karger","year":"1995","unstructured":"Burghard v. Karger and C. A. R. Hoare. Sequential calculus. Information Processing Letters, 53:123\u2013130, 1995.","journal-title":"Information Processing Letters"},{"key":"12_CR11","first-page":"269","volume":"40","author":"C. Zhou","year":"1992","unstructured":"Chaochen Zhou, C. A. R. Hoare, and Anders P. Ravn. A calculus of durations. Information Processing Letters, 40:269\u2013276, 1992.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60117-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:53:07Z","timestamp":1742597587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60117-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601173","9783540494454"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60117-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}