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

DOI10.1007/978-3-658-11765-8zbMATH Open1349.68002OpenAlexW2272800124MaRDI QIDQ2835404FDOQ2835404

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

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

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)

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)