{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:40:31Z","timestamp":1725565231095},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223931"},{"type":"electronic","value":"9783540278122"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27812-2_1","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T03:45:36Z","timestamp":1284435936000},"page":"1-14","source":"Crossref","is-referenced-by-count":0,"title":["Duality for Three: Ternary Symmetry in Process Spaces"],"prefix":"10.1007","author":[{"given":"Janusz","family":"Brzozowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Negulescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)"},{"key":"1_CR2","first-page":"173","volume-title":"Proc. 30th Int. Symp. on Multiple-Valued Logic","author":"J.A. Brzozowski","year":"2000","unstructured":"Brzozowski, J.A.: De Morgan Bisemilattices. In: Proc. 30th Int. Symp. on Multiple-Valued Logic, pp. 173\u2013178. IEEE Comp. Soc, Los Alamitos (2000)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Brzozowski, J.A.: Involuted Semilattices and Uncertainty in Ternary Algebras. Int. J. Algebra and Comput (2004) (to appear)","DOI":"10.1142\/S0218196704001785"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Brzozowski, J.A., \u00c9sik, Z., Iland, Y.: Algebras for hazard detection. In: Fitting, M., Or\u0142owska, E. (eds.) Beyond Two: Theory and Applications of Multiple-Valued Logic, pp. 3\u201324. Physica-Verlag (2003)","DOI":"10.1007\/978-3-7908-1769-0_1"},{"issue":"6","key":"1_CR5","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1142\/S0218196797000319","volume":"7","author":"J.A. Brzozowski","year":"1997","unstructured":"Brzozowski, J.A., Lou, J.J., Negulescu, R.: A Characterization of Finite Ternary Algebras. Int. J. Algebra and Comput.\u00a07(6), 713\u2013721 (1997)","journal-title":"Int. J. Algebra and Comput."},{"key":"1_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4210-9","volume-title":"Asynchronous Circuits","author":"J.A. Brzozowski","year":"1995","unstructured":"Brzozowski, J.A., Seger, C.-J.H.: Asynchronous Circuits. Springer, Heidelberg (1995)"},{"key":"1_CR7","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1147\/rd.92.0090","volume":"9","author":"E.B. Eichelberger","year":"1965","unstructured":"Eichelberger, E.B.: Hazard detection in combinational and sequential circuits. IBM J. Res. and Dev.\u00a09, 90\u201399 (1965)","journal-title":"IBM J. Res. and Dev."},{"issue":"3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1142\/S0218196798000156","volume":"8","author":"Z. \u00c9sik","year":"1998","unstructured":"\u00c9sik, Z.: A Cayley Theorem for Ternary Algebras. Int. J. Algebra and Comput.\u00a08(3), 311\u2013316 (1998)","journal-title":"Int. J. Algebra and Comput."},{"key":"1_CR10","unstructured":"Goto, M.: Application of Three-Valued Logic to Construct the Theory of Relay Networks (in Japanese). In: Proc. IEE, IECE, and I. of Illum. E. of Japan (1948)"},{"key":"1_CR11","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"1_CR12","unstructured":"Mukaidono, M.: On the B-Ternary Logical Function\u2014A Ternary Logic Considering Ambiguity. Trans. IECE, Japan\u00a055\u2013D(6), 355\u2013362 (1972), In English in Systems, Computers, Controls 3 (3), 27\u201336 (1972)"},{"key":"1_CR13","unstructured":"Negulescu, R.: Process Spaces. Technical Report CS-95-48, Dept. of Comp. Science, University of Waterloo, ON, Canada (1995)"},{"key":"1_CR14","unstructured":"Negulescu, R.: Process Spaces and Formal Verification of Asynchronous Circuits. PhD Thesis, Dept. of Comp. Science, University of Waterloo, ON, Canada (1998)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Negulescu, R.: Process Spaces. In: Proc. 11th Int. Conf. on Concurrency Theory, pp. 196\u2013210 (2000)","DOI":"10.1007\/3-540-44618-4_16"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Negulescu, R.: Generic Transforms on Incomplete Specifications of Asynchronous Interfaces. In: Proc. 19th Conf. on Math. Found. of Programming Semantics (2003)","DOI":"10.1016\/S1571-0661(03)50010-X"},{"key":"1_CR17","unstructured":"Troelstra, A.S.: Lectures on Linear Logic, Center for the Study of Language and Information, Stanford University, Stanford, CA (1992)"}],"container-title":["Lecture Notes in Computer Science","Theory Is Forever"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27812-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:21:54Z","timestamp":1605759714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27812-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223931","9783540278122"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27812-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}