Chemistry in Action: Discovering the Behaviour of a Network from Local Observations

Stefan Heymer, Jens Grabowski


Chemical abstract machines (CHAMs) are used as the model to solve the problem of finding possible communication paths between network nodes. The information used for the construction of the CHAMs is retrieved by performing local observations at the different network nodes. We introduce the model of CHAMs, explain the construction of different types of CHAMs to solve our problem, and show the applicability of our approach by describing a TCP/IP based experiment. <br>(A modified version is available as Technical Report A-98-18, Medical University of Lübeck, Schriftenreihe der Institute für Mathematik/Informatik, Lübeck, Germany, October 1998.)
Document Type: 
Articles in Conference Proceedings
Proceedings of the Workshop on Formal Methods in Telecommunication
Prensas Universitarias de Zaragoza
2020 © Software Engineering For Distributed Systems Group

Main menu 2