scientific article; zbMATH DE number 1829371
From MaRDI portal
Publication:3154151
zbMATH Open1012.68107MaRDI QIDQ3154151FDOQ3154151
Publication date: 14 November 2002
Title of this publication is not available (Why is that?)
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)
Cited In (17)
- 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
- 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
- Quantale algebras as lattice-valued quantales
- Localic sup-lattices and tropological systems.
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
Recommendations
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)
