A polynomial translation of mobile ambients into safe Petri nets. Understanding a calculus of hierarchical protection domains

DOI10.1007/978-3-658-11765-8MaRDI QIDQ2835404zbMATH OpenOpenAlexFDO

Authors Susanne Göbel

Publication date 2 December 2016

Published in BestMasters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-658-11765-8

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A polynomial translation of \(\pi \)-calculus (FCP) to safe Petri nets
• A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets
• On abstract interpretation of mobile ambients
• A Petri net semantics of a simple process algebra for mobility
• scientific article; zbMATH DE number 1231618

Cited in

(1)

• A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets

This page was built for publication: A polynomial translation of mobile ambients into safe Petri nets. Understanding a calculus of hierarchical protection domains

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