A semiring-based quantitative analysis of mobile systems

MaRDI QIDQ2852074zbMATH OpenFDO

Authors Benjamin Aziz

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002258

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modelling and Verifying Mobile Systems Using π-Graphs
• Abstract interpretation of mobile systems
• A Kleene analysis of mobile ambients
• The complexity of model checking mobile ambients
• scientific article; zbMATH DE number 2087554
• Abstract interpretation-based static analysis of Mobile Ambients
• Analysis of mobile networks' protocols based on abstract state machine
• The decidability of model checking mobile ambients

Cited in

(2)

• Analysis of mobile networks' protocols based on abstract state machine
• Ideal basis in constructions defined by directed graphs

This page was built for publication: A semiring-based quantitative analysis of mobile systems

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