Pages that link to "Item:Q4279244"
From MaRDI portal
The following pages link to Quantales, observational logic and process semantics (Q4279244):
Displayed 36 items.
- A logical view of composition (Q685416) (← links)
- Free quantaloids (Q805732) (← links)
- Towards ``dynamic domains'': totally continuous cocomplete \(\mathcal Q\)-categories (Q875519) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Experimenting with process equivalence (Q1194327) (← links)
- A representation theorem for quantales (Q1208239) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Continuity spaces: Reconciling domains and metric spaces (Q1391864) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Localic sup-lattices and tropological systems. (Q1427786) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Tropological systems are points of quantales (Q1612161) (← links)
- Projective and injective objects in the category of quantales (Q1861462) (← links)
- Quantal sets and sheaves over quantales (Q1897895) (← links)
- Quantaloids, enriched categories and automata theory (Q1899876) (← links)
- Information systems for continuous posets (Q2367538) (← links)
- A categorical approach to lattice-valued fuzzy automata (Q2492335) (← links)
- A noncommutative theory of Penrose tilings (Q2575470) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- VARIETIES OF EQUALITY STRUCTURES (Q3043518) (← links)
- (Q3148769) (← links)
- (Q4285618) (← links)
- Games and full completeness for multiplicative linear logic (Q4302352) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- (Q4322438) (← links)
- (Q4344804) (← links)
- (Q4888145) (← links)
- ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS (Q5297785) (← links)
- Quantales, finite observations and strong bisimulation (Q5940918) (← links)