Typed mobile ambients in Maude

zbMATH Open1276.68101MaRDI QIDQ2863877FDOQ2863877

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

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

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)

Cites Work

• Maude

Cited In (7)

• Mobile Ambients with Timers and Types
• An Overview of the Maude Strategy Language and its Applications
• Deduction, strategies, and rewriting
• 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

Uses Software

• Maude
• ITP

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)