{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:59Z","timestamp":1725564659078},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204091"},{"type":"electronic","value":"9783540397373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39737-3_22","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T21:46:47Z","timestamp":1283982407000},"page":"171-178","source":"Crossref","is-referenced-by-count":0,"title":["Demonic I\/O of Compound Diagrams Monotype\/Residual Style"],"prefix":"10.1007","author":[{"given":"Fairouz","family":"Tchier","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Backhouse, R.C., Hoogendijk, P., Voermans, E., van der Woude, J.: A Relational Theory of Datatypes. Research report, Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands (1992)","DOI":"10.1007\/3-540-57499-9_15"},{"key":"#cr-split#-22_CR2.1","doi-asserted-by":"crossref","unstructured":"Backhouse, R.C., van der Woude, J.: Demonic operators and monotype factors. Mathematical Structures in Computer Science\u00a03(4), 417\u2013433 (1993);","DOI":"10.1017\/S096012950000030X"},{"key":"#cr-split#-22_CR2.2","unstructured":"Also: Computing Science Note 92\/11, Dept. of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands (1992)"},{"key":"22_CR3","unstructured":"Backhouse, R.C., Doornbos, H.: Mathematical induction made calculational. Computing Science Note 94\/16, Dept. of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands (1994)"},{"key":"22_CR4","unstructured":"Berghammer, R.: Relational specification of data types and programs. Technical report 9109, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, Germany (September 1991)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Berghammer, R., Schmidt, G.: Relational specifications. In: Rauszer, C. (ed.) Algebraic Logic, Banach Center Publications, 28, Polish Academy of Sciences (1993)","DOI":"10.4064\/-28-1-167-190"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90172-6","volume":"43","author":"R. Berghammer","year":"1986","unstructured":"Berghammer, R., Zierer, H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theoretical Computer Science\u00a043, 123\u2013147 (1986)","journal-title":"Theoretical Computer Science"},{"volume-title":"Relational Methods in Computer Science","year":"1997","key":"22_CR7","unstructured":"Brink, C., Kahl, W., Schmidt, G. (eds.): Relational Methods in Computer Science. Springer, Heidelberg (1997)"},{"key":"22_CR8","first-page":"341","volume":"1","author":"L.H. Chin","year":"1951","unstructured":"Chin, L.H., Tarski, A.: Distributive and modular laws in the arithmetic of relation algebras. University of California Publications\u00a01, 341\u2013384 (1951)","journal-title":"University of California Publications"},{"key":"22_CR9","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/3-540-45499-3_26","volume-title":"Algebraic Methodology and Software Technology","author":"J. Desharnais","year":"2000","unstructured":"Desharnais, J., M\u00f6ller, B., Tchier, F.: Kleene under a demonic star. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 355\u2013370. Springer, Heidelberg (2000)"},{"issue":"2","key":"22_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(94)00271-J","volume":"149","author":"J. Desharnais","year":"1995","unstructured":"Desharnais, J., Belkhiter, N., Sghaier, S.B.M., Tchier, F., Jaoua, A., Mili, A., Zaguia, N.: Embedding a demonic semilattice in a relation algebra. Theoretical Computer Science\u00a0149(2), 333\u2013360 (1995)","journal-title":"Theoretical Computer Science"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1090\/S0002-9947-1939-0000230-5","volume":"46","author":"R.P. Dilworth","year":"1939","unstructured":"Dilworth, R.P.: Non-commutative Residuated Lattices. Trans. Amer. Math. Sci.\u00a046, 426\u2013444 (1939)","journal-title":"Trans. Amer. Math. Sci."},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00265990","volume":"24","author":"J.D. Mili","year":"1987","unstructured":"Mili, J.D., Mili, F.: Relational heuristics for the design of deterministic programs. Acta Informatica\u00a024(3), 239\u2013276 (1987)","journal-title":"Acta Informatica"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(81)90060-8","volume":"15","author":"G. Schmidt","year":"1981","unstructured":"Schmidt, G.: Programs as partial graphs I: Flow equivalence and correctness. Theoretical Computer Science\u00a015, 1\u201325 (1981)","journal-title":"Theoretical Computer Science"},{"key":"22_CR15","series-title":"EATCS Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and Graphs","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs. EATCS Monographs in Computer Science. Springer, Berlin (1993)"},{"key":"22_CR16","unstructured":"Tchier, F., Desharnais, J.: A generalisation of a theorem of Mills. In: Proceedings of the Tenth International Symposium on Computer and Information Sciences, ISCIS X, Turkey, October 1995, pp. 27\u201334 (1995)"},{"key":"22_CR17","unstructured":"Tchier, F.: S\u00e9mantiques relationnelles d\u00e9moniaques et v\u00e9rification de boucles non d\u00e9terministes. Ph. D. thesis, D\u00e9partement de math\u00e9matiques et de statistique, Universit\u00e9 Laval, Canada (1996), http:\/\/auguste.ift.ulaval.ca\/desharn\/Theses\/index.html"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/SESD.1999.781109","volume-title":"Science and Engineering in Software Development. A recognition of Harlan D. Mills\u2019 Legacy","author":"F. Tchier","year":"1999","unstructured":"Tchier, F., Desharnais, J.: Applying a generalization of a theorem of Mills to generalized looping structures. In: Science and Engineering in Software Development. A recognition of Harlan D. Mills\u2019 Legacy, Los Angeles, CA, pp. 31\u201338. IEEE Computer Society Press, Los Alamitos (1999)"}],"container-title":["Lecture Notes in Computer Science","Computer and Information Sciences - ISCIS 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39737-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T06:04:29Z","timestamp":1636437869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39737-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204091","9783540397373"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39737-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}