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