Typed mobile ambients in Maude

MaRDI QIDQ2863877zbMATH OpenFDO

Authors Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000387?np=y

zbMATH Keywords

type systemsoperational semanticsMaudeambient calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Orderly communication in the ambient calculus.
• M\(^3\): mobility types for mobile processes in mobile ambients
• Publication:4508315
• Flow-sensitive type systems and the ambient calculus
• scientific article; zbMATH DE number 1759632

Cites work

• Maude

Cited in

(7)

• Mobile Ambients with Timers and Types
• Deduction, strategies, and rewriting
• An Overview of the Maude Strategy Language and its Applications
• On reachability and spatial reachability in fragments of BioAmbients
• The Maude strategy language
• Modular structural operational semantics with strategies
• Using Maude and its strategies for defining a framework for analyzing Eden semantics

Describes a project that uses

Uses Software

• ITP
• Maude

This page was built for publication: Typed mobile ambients in Maude

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