Vol 8 No 1 (2014): BAREKENG : Jurnal Ilmu Matematika dan Terapan
Articles
Published
March 1, 2014
Keywords
- koaljabar, sistem state-based, kotak hitam, automata, penerima
How to Cite
[1]
H. Patty, “STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED”, BAREKENG: J. Math. & App., vol. 8, no. 1, pp. 7-16, Mar. 2014.
Abstract
Konsep koaljabar universal yang merupakan dualitas dari aljabar dapat dipandang sebagai suatu teori dalam sistem state based. Dalam kotak hitam (black boxes), automata dan struktur Kripke yang merupakan contoh sistem state-based, struktur koaljabar merupakan penggabungan dua pemetaan yang membawa suatu state s ke pasangan elemen dari hasil kali tensor dua himpunan.
Downloads
Download data is not yet available.
References
[1] Denecke K., Wismath, S.L.,2009, Universal Algebra and Coalgebra, World Scientific. New York
[2] Gumm, H.P., 2009, Universal Coalgebras and Their Logics, The Arabian Journal for Sciene
and Engineering (AJSE), Volume I, p. 105-130 [3] Jacobs, B, 2005, Introduction to Coalgebra Towards Mathematics of States and Observations, Institute for Computing and Information Sciences, Radbound University Nijmegen, Netherlands
[4] Rutten, J., 2000, Universal Coalgebra A Theory of System Theoritical Computing Science, p 249, Elsevier
[5] Kupke, C., Kurz, A., and Pattinson, D., 2004, Algebraic Semantic for Coalgebraic Model Logic, Electronic Notes in Theoritical Computer Science, p 106, Elsevier
[6] Hasuo, L., Jacobs, B., and Sokolova, A., 2007, Generic Trace Semantic via Coinduction, Logical Methods in Computer Science 3, Issue A, pp 1-36
[7] Hansen, H.,H., and Ruten, J., 2014, Stream and Coalgebra, Radbound University Nijmegen & CWI Amsterdam
[2] Gumm, H.P., 2009, Universal Coalgebras and Their Logics, The Arabian Journal for Sciene
and Engineering (AJSE), Volume I, p. 105-130 [3] Jacobs, B, 2005, Introduction to Coalgebra Towards Mathematics of States and Observations, Institute for Computing and Information Sciences, Radbound University Nijmegen, Netherlands
[4] Rutten, J., 2000, Universal Coalgebra A Theory of System Theoritical Computing Science, p 249, Elsevier
[5] Kupke, C., Kurz, A., and Pattinson, D., 2004, Algebraic Semantic for Coalgebraic Model Logic, Electronic Notes in Theoritical Computer Science, p 106, Elsevier
[6] Hasuo, L., Jacobs, B., and Sokolova, A., 2007, Generic Trace Semantic via Coinduction, Logical Methods in Computer Science 3, Issue A, pp 1-36
[7] Hansen, H.,H., and Ruten, J., 2014, Stream and Coalgebra, Radbound University Nijmegen & CWI Amsterdam