Pages that link to "Item:Q1338199"
From MaRDI portal
The following pages link to A completeness theorem for open maps (Q1338199):
Displaying 15 items.
- Graphs, hypergraphs, and properads (Q276737) (← links)
- Petri nets and bisimulation (Q672873) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- Coalgebra morphisms subsume open maps (Q1603818) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- Open maps in concrete categories and branching bisimulation for prefix orders (Q2520701) (← links)
- A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
- Open maps, behavioural equivalences, and congruences (Q5878914) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
- A presheaf semantics of value-passing processes (Q6104368) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)