scientific article; zbMATH DE number 1829371
From MaRDI portal
Publication:3154151
Continuous lattices and posets, applications (06B35) Topological lattices, etc. (topological aspects) (54H12) 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)
Recommendations
Cited in
(19)- Localic sup-lattices and tropological systems.
- Quantale algebras as lattice-valued quantales
- Fibrational bisimulations and quantitative reasoning
- Projective and injective objects in the category of quantales
- A categorical approach to lattice-valued fuzzy automata
- The relationships among several types of fuzzy automata
- Algebraic properties of \(LA\)-languages
- Bisimulations and bisimulation quotients of generalized Veltman models
- scientific article; zbMATH DE number 5295708 (Why is no real title available?)
- A semiring approach to equivalences, bisimulations and control
- A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces
- Quantales, observational logic and process semantics
- scientific article; zbMATH DE number 4119652 (Why is no real title available?)
- Bisimulation quantifiers and uniform interpolation for guarded first order logic
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Quantales, finite observations and strong bisimulation
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- The equivalence between fuzzy Mealy and fuzzy Moore machines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3154151)
