 |
Free and accessible knowledge |
Conference papers
Modelling and Verifying Mobile Systems Using Pi-Graphs
Abstract : This paper introduces the π-graphs, a graphical model of mobile interactions that tries to accommodate the expressivity of the π-calculus and the intuitiveness of place-transition nets. Graph rewriting techniques are used to describe the operational semantics of π-graphs. The bijective encoding/decoding of π-graphs allows to mix transparently graphical and term-based proof techniques, which leads to a dual characterization of bisimilarity. The main originality of this characterization is the synchronous interpretation it provides: each graph/term being attached to a clock evolving at the rate of interactions with the environment. This gives new opportunities for the design of efficient verification algorithms for mobile systems.
https://hal.archives-ouvertes.fr/hal-01297406
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Monday, April 4, 2016 - 11:57:14 AM
Last modification on : Friday, January 8, 2021 - 5:50:04 PM
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Monday, April 4, 2016 - 11:57:14 AM
Last modification on : Friday, January 8, 2021 - 5:50:04 PM
Links full text
