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

DOI10.1007/978-3-642-36008-4_2MaRDI QIDQ3458151zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

Distributed systems (68M14)

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

Cites work

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

Cited in

(4)

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

Describes a project that uses

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)