scientific article

zbMath1012.68107MaRDI QIDQ3154151

Yong-Ming Li, Zhi-Hui Li

Publication date: 14 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bisimulation quantale

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Topological lattices, etc. (topological aspects) (54H12) Continuous lattices and posets, applications (06B35)

Related Items (7)

The equivalence between fuzzy Mealy and fuzzy Moore machines ⋮ Quantale algebras as lattice-valued quantales ⋮ A categorical approach to lattice-valued fuzzy automata ⋮ The relationships among several types of fuzzy automata ⋮ Algebraic properties of \(LA\)-languages ⋮ Projective and injective objects in the category of quantales ⋮ Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids

This page was built for publication: