Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Polynomial Translation of Mobile Ambients into Safe Petri NetsFurther Remarks

A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Further Remarks [We conclude this work by discussing how to improve the analysis of MA processes with the insights that we gained. The relaxed semantics proposed in Section 4.1.1 provides interesting approaches for future work by allowing a divide and conquer approach to the decision of MA reachability. The idea is applicable to an (r)MA term as well as to an MA-PN marking. Section 4.1.2 extends the bisimilarity to arbitrary MA processes and the reachability results for b, d-bounded processes to bounded runs of unbounded processes and shows an examplary usage.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Polynomial Translation of Mobile Ambients into Safe Petri NetsFurther Remarks

Loading next page...
 
/lp/springer-journals/a-polynomial-translation-of-mobile-ambients-into-safe-petri-nets-Jq9eLUGaw9

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Springer Fachmedien Wiesbaden
Copyright
© Springer Fachmedien Wiesbaden 2016
ISBN
978-3-658-11764-1
Pages
45 –51
DOI
10.1007/978-3-658-11765-8_4
Publisher site
See Chapter on Publisher Site

Abstract

[We conclude this work by discussing how to improve the analysis of MA processes with the insights that we gained. The relaxed semantics proposed in Section 4.1.1 provides interesting approaches for future work by allowing a divide and conquer approach to the decision of MA reachability. The idea is applicable to an (r)MA term as well as to an MA-PN marking. Section 4.1.2 extends the bisimilarity to arbitrary MA processes and the reachability results for b, d-bounded processes to bounded runs of unbounded processes and shows an examplary usage.]

Published: Jan 23, 2016

There are no references for this article.