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

DOI10.1007/978-3-642-36008-4_2zbMath1452.68022OpenAlexW2229099388MaRDI QIDQ3458151

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)

Uses Software

• CoreASM
• Pict

Cites Work

• Unnamed Item
• Ambient abstract state machines with applications
• A theory of processes with localities
• Mobile ambients
• Distributed bisimulations
• Abstract State Machines
• Equational properties of mobile ambients

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