The following pages link to Quantaloids for concurrency (Q5947271):
Displaying 6 items.
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- Autarkies and Persistencies for QUBO (Q5050145) (← links)
- Concurrent expandable AMQs on the basis of quotient filters (Q6487608) (← links)