Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines

DOI10.1007/978-3-642-36008-4_2zbMATH Open1452.68022OpenAlexW2229099388MaRDI QIDQ3458151FDOQ3458151

Authors: Karoly Bosa 

Publication date: 8 December 2015

Published in: Semantics in Data and Knowledge Bases (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36008-4_2

Recommendations

• scientific article; zbMATH DE number 1701350
• scientific article; zbMATH DE number 1841829
• A fully abstract model for mobile ambients
• Model checking mobile ambients
• A multi-agent system formalization in mobile environments
• scientific article; zbMATH DE number 2086520
• scientific article; zbMATH DE number 2087391
• Ambient abstract state machines with applications
• Abstract interpretation of mobile systems

Mathematics Subject Classification ID

Distributed systems (68M14)

Cites Work

• Abstract State Machines
• CoreASM: an extensible ASM execution engine
• Mobile ambients
• Ambient abstract state machines with applications
• A theory of processes with localities
• Distributed bisimulations
• Equational properties of mobile ambients

Cited In (4)

• Analysis of mobile networks' protocols based on abstract state machine
• Ambient abstract state machines with applications
• Abstract interpretation of mobile systems
• A rule based knowledge transaction model for mobile environments

Uses Software

• CoreASM
• Pict

This page was built for publication: Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines

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