Deriving Structural Labelled Transitions for Mobile Ambients

DOI10.1007/978-3-540-85361-9_36MaRDI QIDQ3541038zbMATH OpenOpenAlexFDO

Authors Julian Rathke, Paweł Sobociński

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/266825/1/concurFinal.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Deriving structural labelled transitions for mobile ambients
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• On abstract interpretation of mobile ambients
• scientific article; zbMATH DE number 1832231
• scientific article; zbMATH DE number 1629945
• A fully abstract model for mobile ambients
• Translating mobile ambients into P systems
• scientific article; zbMATH DE number 2086520
• scientific article; zbMATH DE number 1487853
• scientific article; zbMATH DE number 1231618

Cited in

(14)

• Synthesising CCS bisimulation using graph rewriting
• Deriving structural labelled transitions for mobile ambients
• A General Theory of Barbs, Contexts, and Labels
• On the semantics of Markov automata
• Deriving labelled transition systems -- a structural approach
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Measurable stochastics for Brane calculus
• Making the unobservable, unobservable
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• RPO semantics for mobile ambients
• Relating reasoning methodologies in linear logic and process algebra
• Applying a testing approach to the calculus of fair ambients
• Characterizing contextual equivalence in calculi with passivation
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

This page was built for publication: Deriving Structural Labelled Transitions for Mobile Ambients

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