Alexander Scivos. Reachability and Dependency Calculi: Reasoning in Network Algebras. In Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello, editors, Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers. Volume 4387 of Lecture Notes in Computer Science, pages 1-19, Springer, 2006. [doi]
Abstract is missing.