Abstract is missing.
- Developments in Concurrent Kleene AlgebraTony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn. 1-18 [doi]
- Endowing Concurrent Kleene Algebra with Communication ActionsJason Jaskolka, Ridha Khédri, Qinglei Zhang. 19-36 [doi]
- Concurrent Kleene Algebra with TestsPeter Jipsen. 37-48 [doi]
- Algebras for Program Correctness in Isabelle/HOLAlasdair Armstrong, Victor B. F. Gomes, Georg Struth. 49-64 [doi]
- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset LanguagesMichael R. Laurence, Georg Struth. 65-82 [doi]
- A Modified Completeness Theorem of KAT and Decidability of Term ReducibilityTakeo Uramoto. 83-100 [doi]
- Kleene Algebra with ConversePaul Brunet, Damien Pous. 101-118 [doi]
- Preparing Relational Algebra for "Just Good Enough" HardwareJosé N. Oliveira. 119-138 [doi]
- Extended Conscriptions AlgebraicallyWalter Guttmann. 139-156 [doi]
- Abstract Dynamic FramesHan-Hing Dang. 157-172 [doi]
- Automated Verification of Relational While-ProgramsRudolf Berghammer, Peter Höfner, Insa Stucke. 173-190 [doi]
- On Faults and Faulty ProgramsAli Mili, Marcelo F. Frias, Ali Jaoua. 191-207 [doi]
- Parameterised Bisimulations: Some ApplicationsS. Arun-Kumar, Divyanshu Bagga. 208-225 [doi]
- A Point-Free Relation-Algebraic Approach to General TopologyGunther Schmidt. 226-241 [doi]
- A Mechanised Abstract Formalisation of Concept LatticesWolfram Kahl. 242-260 [doi]
- A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore CategoriesKoki Nishizawa, Hitoshi Furusawa. 261-276 [doi]
- Higher-Order Arrow CategoriesMichael Winter. 277-292 [doi]
- Type-2 Fuzzy Controllers in Arrow CategoriesMichael Winter, Ethan Jackson, Yuki Fujiwara. 293-308 [doi]
- Relation Algebra and RelView Applied to Approval VotingRudolf Berghammer, Nikita Danilenko, Henning Schnoor. 309-326 [doi]
- Relational LatticesTadeusz Litak, Szabolcs Mikulás, Jan Hidders. 327-343 [doi]
- Towards Finding Maximal Subrelations with Desired PropertiesMartin Eric Müller. 344-361 [doi]
- Complete Solution of a Constrained Tropical Optimization Problem with Application to Location AnalysisNikolai Krivulin. 362-378 [doi]
- Refinements of the RCC25 Composition TableManas Ghosh, Michael Winter. 379-394 [doi]
- Fuzzifying Modal AlgebraJules Desharnais, Bernhard Möller. 395-411 [doi]
- Tableau Development for a Bi-intuitionistic Tense LogicJohn G. Stell, Renate A. Schmidt, David E. Rydeheard. 412-428 [doi]
- Nominal Sets over Algebraic AtomsJoanna Ochremiak. 429-445 [doi]
- Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$Sabine Frittella, Luigi Santocanale. 446-462 [doi]