STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED
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
References
[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
Authors who publish with this Journal agree to the following terms:
- Author retain copyright and grant the journal right of first publication with the work simultaneously licensed under a creative commons attribution license that allow others to share the work within an acknowledgement of the work’s authorship and initial publication of this journal.
- Authors are able to enter into separate, additional contractual arrangement for the non-exclusive distribution of the journal’s published version of the work (e.g. acknowledgement of its initial publication in this journal).
- Authors are permitted and encouraged to post their work online (e.g. in institutional repositories or on their websites) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published works.