References

  1. Marco Aiello, Ian Pratt-Hartmann & Johan van Benthem (2007): Handbook of Spatial Logics. Springer, doi:10.1007/978-1-4020-5587-4.
  2. Yuliy Baryshnikov & Robert Ghrist (2009): Target enumeration via Euler characteristic integrals. SIAM Journal on Applied Mathematics 70(3), pp. 825–844, doi:10.1137/070687293.
  3. Muffy Calder & Michele Sevegnani (2014): Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computer Science 26, pp. 537–561, doi:10.1007/s00165-012-0270-3.
  4. Vincenzo Ciancia, Diego Latella, Michele Loreti & Mieke Massink (2014): Specifying and Verifying Properties of Space. In: Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014. Springer, pp. 222–235, doi:10.1007/978-3-662-44602-7_18.
  5. Max J. Egenhofer & Khaled K. Al-Taha (1992): Reasoning About Gradual Changes of Topological Relationships. In: Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Springer, pp. 196–219, doi:10.1007/3-540-55966-3_12.
  6. E. Allen Emerson & Joseph Y. Halpern (1986): ``Sometimes'' and ``not never'' revisited: on branching versus linear time temporal logic. J. ACM 33(1), pp. 151–178, doi:10.1145/4904.4999.
  7. Marcelo Finger & Dov M. Gabbay (1992): Adding a temporal dimension to a logic system. Journal of Logic, Language and Information 1(3), pp. 203–233, doi:10.1007/BF00156915.
  8. Sorabh Gandhi, Rajesh Kumar & Subhash Suri (2008): Target Counting under Minimal Sensing: Complexity and Approximations. In: Algorithmic Aspects of Wireless Sensor Networks: Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers. Springer, pp. 30–42, doi:10.1007/978-3-540-92862-1_4.
  9. C. A. R. Hoare (1969): An Axiomatic Basis for Computer Programming. Communications of the ACM 12(10), pp. 576–580, doi:10.1145/363235.363259.
  10. John Howse, Fernando Molina, Sun-Joo Shin & John Taylor (2002): On Diagram Tokens and Types. In: Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA. Springer, pp. 146–160, doi:10.1007/3-540-46037-3_18.
  11. Sven Linker & Martin Hilscher (2015): Proof Theory of a Multi-Lane Spatial Logic. Logical Methods in Computer Science 11(3), doi:10.2168/LMCS-11(3:4)2015.
  12. Susan Owicki & David Gries (1976): An Axiomatic Proof Technique for Parallel Programs I. Acta Inf. 6(4), pp. 319–340, doi:10.1007/BF00268134.
  13. David A. Randell, Zhan Cui & Anthony G. Cohn (1992): A Spatial Logic based on Regions and Connection. In: B. Nebel, C. Rich & W. Swartout: International Conference on Principles of Knowledge Representation and Reasoning – KR 1992. Morgan Kaufmann, pp. 165–176.
  14. Michele Sevegnani & Muffy Calder (2015): Bigraphs with sharing. Theoretical Computer Science 577, pp. 43 – 73, doi:10.1016/j.tcs.2015.02.011.
  15. Dengyuan Wu, Dechang Chen, Kai Xing & Xiuzhen Cheng (2012): A statistical approach for target counting in sensor-based surveillance systems. In: INFOCOM, 2012 Proceedings IEEE, pp. 226–234, doi:10.1109/INFCOM.2012.6195613.
  16. Dengyuan Wu, Bowu Zhang, Hongjuan Li & Xiuzhen Cheng (2014): Target Counting in Wireless Sensor Networks, pp. 235–269. Springer, doi:10.1007/978-3-642-40066-7_7.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org