Quantales, finite observations and strong bisimulation

No abstract is available for this paper.

• Publication year

  2001

• Venue

  Theoretical Computer Science

• Publication date

  2001-03-06

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/S0304-3975(99)00123-1
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modular Specification of Concurrent Systems with Observational Logic

  1998cited by this paper
• Branching time and abstraction in bisimulation semantics

  1996cited by this paper
• Bisimulation can't be traced

  1995cited by this paper
• Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994

  1995cited by this paper
• Quantales, observational logic and process semantics

  1993cited by this paper
• The Linear Time - Branching Time Spectrum II

  1993cited by this paper
• Verification and Comparison of Transition Systems

  1993cited by this paper
• Structured Operational Semantics and Bisimulation as a Congruence

  1992cited by this paper
• Bisimulation through Probabilistic Testing

  1991cited by this paper
• A Domain Equation for Bisimulation

  1991cited by this paper
• Domain Theory in Logical Form

  1991cited by this paper
• Transition System Specifications with Negative Premises

  1990cited by this paper
• The linear time - branching time spectrum

  1990cited by this paper
• Introduction to lattices and order

  1990cited by this paper
• Quantales and their applications

  1990cited by this paper
• Topology via Logic

  1989cited by this paper
• Communication and concurrency

  1989cited by this paper
• Algebraic theory of processes

  1988cited by this paper
• Petri Net Models for Algebraic Theories of Concurrency

  1987cited by this paper
• Observation Equivalence as a Testing Equivalence

  1987cited by this paper
• Refusal Testing

  1986cited by this paper
• Algebraic laws for nondeterminism and concurrency

  1985cited by this paper
• An extension of the Galois theory of Grothendieck

  1984cited by this paper
• Testing Equivalences for Processes

  1984cited by this paper
• Communicating sequential processes

  1983cited by this paper
• Concurrency and Automata on Infinite Sequences

  1981cited by this paper
• A Modal Characterisation of Observable Machine-Behaviour

  1981cited by this paper
• Categories for the Working Mathematician

  1971cited by this paper

• Generalization of Rough Bi-ideals in Quantales Based on Cores of Successor Classes Under Fuzzy Relations

  2025cites this paper
• A Novel Characterization of Fuzzy Soft Substructures in Quantales Theory

  2023cites this paper
• Constructing Q-algebras from Q-modules

  2022cites this paper
• Generalized Fuzzy Filters in Quantales and Their Approximations

  2022cites this paper
• Soft Substructures in Quantales and Their Approximations Based on Soft Relations

  2022cites this paper
• Frobenius structures in star-autonomous categories

  2022cites this paper
• An Abstract Theory of Physical Measurements

  2021cites this paper
• Generalized roughness of fuzzy substructures in quantales with respect to soft relations

  2021cites this paper
• Some studies in the approximation of $$(\in _{\gamma }, \in _{\gamma }\vee q_{\delta })$$-fuzzy substructures in quantales

  2020cites this paper
• On the geometry of physical measurements: Topological and algebraic aspects

  2020cites this paper
• Value semigroups, value quantales, and positivity domains

  2019cites this paper
• Characterizations of Quantales by the Properties of their ( ∈ γ , ∈ γ ∨ q δ )-Fuzzy ( Subquantales ) Ideals

  2019cites this paper
• Representation theorems for Q-algebras

  2019cites this paper
• Generalized approximation of substructures in quantales by soft relations

  2019cites this paper
• Generalized approximations of $$\left( \in ,\in \vee q\right) $$∈,∈∨q-fuzzy ideals in quantales

  2018cites this paper
• Generalized approximations of ( ∈ , ∈ ∨ q ) -fuzzy ideals in quantales

  2018cites this paper
• The limit and tensor product in the category of Q-P quantale modules

  2016cites this paper
• Quantale algebras as lattice-valued quantales

  2016cites this paper
• L-quantum spaces

  2016cites this paper
• Quantale algebras as lattice-valued quantales

  2016cites this paper
• L-subquantales and L-filters of quantales based on quasi-coincidence of fuzzy points with parameters

  2016cites this paper
• Quanta and Qualia

  2016cites this paper
• On the power-set $$Q$$Q-algebras

  2016cites this paper
• CHARACTERIZATION OF PROJECTIVE QUANTALES

  2016cites this paper
• Roughness and fuzziness in quantales

  2014cites this paper
• Roughness in quantales

  2013cites this paper
• The Tensor Products of Unital Quantales

  2013cites this paper
• Algebraic Properties of the Category of Q-P Quantale Modules

  2013cites this paper
• The Convergence of Filters on Quantales and Its Hausdorffness

  2012cites this paper
• The Category of L-fuzzy Quantales

  2012cites this paper
• Categorical foundations of variety-based topology and topological systems

  2012cites this paper
• On limits and colimits of variety-based topological systems

  2011cites this paper
• Ideal-Convergence in Quantales

  2011cites this paper
• POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES

  2011cites this paper
• The Coproduct of Unital Quantales

  2011cites this paper
• Fuzzy algebras as a framework for fuzzy topology

  2011cites this paper
• Algebraic properties of the category of double quantale modules and its direct limit

  2011cites this paper
• Generalized fuzzy topology versus non-commutative topology

  2011cites this paper
• On a generalization of the concept of state property system

  2011cites this paper
• Hypergraph functor and attachment

  2010cites this paper
• Quantale Modules and their Operators, with Applications

  2010cites this paper
• HYPERGRAPH FUNCTOR AND ATTACHMENT

  2010cites this paper
• Variable-basis topological systems versus variable-basis topological spaces

  2010cites this paper
• QUANTALE MODULES: WITH APPLICATIONS TO LOGIC AND IMAGE PROCESSING

  2009cites this paper
• Groupoid sheaves as Hilbert modules

  2008cites this paper
• Quantales of open groupoids

  2008cites this paper
• Groupoid sheaves as quantale sheaves

  2008cites this paper
• Algebraic and Categorical Aspects of Quantales

  2008cites this paper
• The q-theory of Finite Semigroups

  2008cites this paper
• A Compositional Game Semantics for Multi−Agent Logics of Partial Information

  2007cites this paper
• Socially Responsive‚ Environmentally Friendly Logic

  2006cites this paper
• Quantized Linear Logic, Involutive Quantales and Strong Negation

  2004cites this paper
• A Noncommutative Theory of Penrose Tilings

  2003cites this paper
• Localic sup-lattices and tropological systems

  2003cites this paper
• Tropological systems are points of quantales

  2002influential citation
• Operational Quantum Logic: An Overview

  2000cites this paper
• Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes

  2000cites this paper
• Quantales and Observational Semantics

  2000cites this paper
• A Note on Girard Bimodules

  2000cites this paper
• Superior Técnico Independence structures on quantales

  year unknowncites this paper
• Hypergraph functor and attachment 1

  year unknowncites this paper