Quantales, finite observations and strong bisimulation

DOI10.1016/S0304-3975(99)00123-1zbMath0972.68122WikidataQ127579878 ScholiaQ127579878MaRDI QIDQ5940918

Pedro Resende

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

behavioural equivalenceconcurrent processesfinite observations and finitely observable propertiesmodules and tropological systemsquantalesstrong bisimulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (27)

On the power-set \(Q\)-algebras ⋮ The limit and tensor product in the category of Q-P quantale modules ⋮ Constructing \(Q\)-algebras from \(Q\)-modules ⋮ Hypergraph functor and attachment ⋮ On limits and colimits of variety-based topological systems ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ On a generalization of the concept of state property system ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Quantale algebras as lattice-valued quantales ⋮ Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in quantales ⋮ Localic sup-lattices and tropological systems. ⋮ Representation theorems for \(Q\)-algebras ⋮ Fuzzy algebras as a framework for fuzzy topology ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ Unnamed Item ⋮ Rieffel induction and strong Morita equivalence in the context of Hilbert modules ⋮ Algebraic and Categorical Aspects of Quantales ⋮ Variable-basis topological systems versus variable-basis topological spaces ⋮ Roughness and fuzziness in quantales. ⋮ Value semigroups, value quantales, and positivity domains ⋮ CHARACTERIZATION OF PROJECTIVE QUANTALES ⋮ Generalized approximation of substructures in quantales by soft relations ⋮ Some studies in the approximation of \((\in_\gamma, \in_\gamma \vee q_\delta)\)-fuzzy substructures in quantales ⋮ An abstract theory of physical measurements ⋮ Moore-Penrose equations in involutive residuated semigroups and involutive quantales ⋮ A noncommutative theory of Penrose tilings ⋮ Tropological systems are points of quantales

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Refusal testing
• Observation equivalence as a testing equivalence
• Transition system specifications with negative premises
• Domain theory in logical form
• Bisimulation through probabilistic testing
• Structured operational semantics and bisimulation as a congruence
• Testing equivalences for processes
• A domain equation for bisimulation
• An extension of the Galois theory of Grothendieck
• Algebraic laws for nondeterminism and concurrency
• Quantales, observational logic and process semantics
• Bisimulation can't be traced
• Branching time and abstraction in bisimulation semantics
• Verification and comparison of transition systems

This page was built for publication: Quantales, finite observations and strong bisimulation