Monoid-labeled transition systems

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 1, 2001, Pages 185-204

  Gumm, H Peter ^a   Schröder, Tobias ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

Bisimulation; Coalgebra; Distributive lattice; Fuzzy transition; Multiset; Refinable monoid; Transition system; Weak pullback preservation

Indexed keywords

COMPUTER SIMULATION; FUNCTIONS; FUZZY SETS; MATHEMATICAL OPERATORS; MATRIX ALGEBRA; RANDOM PROCESSES; THEOREM PROVING;

BISIMULATION; COALGEBRA; DISTRIBUTIVE LATTICE; FUZZY TRANSITION; MULTISET; REFINABLE MONOID; TRANSITION SYSTEMS; WEAK PULLBACK PRESERVATION;

BOOLEAN ALGEBRA;

EID: 18944374118     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80908-3     Document Type: Conference Paper

References (17)

1. Borceux F. Handbook of categorical algebra 1: basic category theory. 1994;Cambridge University Press
2. de Vink E.P., Rutten J.J.M.M. Bisimulation for probabilistic transition systems: a coalgebraic approach. Theoretical Computer Science. (no. 211):1999;271-293
3. Freyd P., Scedrov A. Categories, allegories. 1990;Elsevier
4. Gumm H.P., Herrmann C. Algebras in modular varieties: Baer refinements, cancellation and isotopy. Houston Journal of Mathematics. 5:(no. 4):1979;503-523
5. Goguen J.A. L-fuzzy sets. Journal of Mathematical Analysis and Applications. (no. 18):1967;145-174
6. Grätzer G. General lattice theory. 1998;Birkhäuser Verlag
7. H.P. Gumm and T. Schröder, Coalgebras of bounded type, Submitted.
8. H.P. Gumm and T. Schröder, Products of coalgebras, Algebra Universalis, to appear.
9. Gumm H.P., Schröder T. Coalgebraic structure from weak limit preserving functors. CMCS. (no. 33):2000;113-133
10. Gumm H.P. A cancellation theorem for finite algebras. Coll. Math. Soc. János Bolyai. 1977;341-344
11. H.P. Gumm, Functors for coalgebras, Algebra Universalis, to appear, 1998.
12. B. Jónsson and A. Tarski, Direct decompositions of finite algebraic systems, Notre Dame Mathematical Lectures (1947), no. 5.
13. Lovász L. Operations with structures. Acta. Math. Acad. Sci. Hungar. 18:1967;321-328
14. Moss L.S. Coalgebraic logic. Annals of Pure and Applied Logic. 96:1999;277-317
15. S. Pfeiffer, Funktoren für Coalgebren, Master Thesis, Universität Marburg, 1999.
16. Rutten J.J.M.M. Universal coalgebra: a theory of systems. Theoretical Computer Science. (no. 249):2000;3-80
17. T. Schröder, Coalgebren und Funktoren, PhD-Thesis, Philipps-Universität Marburg, 2001.