Hopscotch -- reaching the target hop by hop

DOI10.1016/J.JLAP.2014.02.009MaRDI QIDQ406451zbMATH OpenOpenAlexFDO

Authors Peter Höfner, Annabelle McIver

Publication date 8 September 2014

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2014.02.009

zbMATH Keywords

routingsemiringKleene algebrapath algebra

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Path problems in networks
• Some results dealing with the algebraic approach to path problems in graphs
• scientific article; zbMATH DE number 16016
• Stone relation algebras
• Calculating path algorithms

Cites work

• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 3711960 (Why is no real title available?)
• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 5018129 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Algebraic Notions of Termination
• An algebraic calculus of database preferences
• Dijkstra, Floyd and Warshall meet Kleene
• Graph-theoretic concepts in computer science. 20th International Workshop. WG '94, Herrsching, Germany, June 16-18, 1994. Proceedings
• Kleene algebra with domain
• Kleene modules and linear languages
• Matrix development of the calculus of relations
• Netkat, semantic foundations for networks
• On Automating the Calculus of Relations
• On Hoare logic and Kleene algebra with tests
• On the Cardinality of Relations
• Regular Algebra Applied to Path-finding Problems
• Relation algebras
• Relation algebras: Concept of points and representability
• Relational Methods in Computer Science
• Relational concepts in social choice
• Relational mathematics
• Relational measures and integration in preference modeling
• Towards a refinement algebra
• Towards an algebra of routing tables
• Unifying lazy and strict computations

Cited in

(2)

• Formal methods for mobile ad hoc networks: a survey
• Some uses of modal semirings

Describes a project that uses

Uses Software

• NetKAT
• Mace4
• Prover9

This page was built for publication: Hopscotch -- reaching the target hop by hop

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406451)