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
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
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
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)