Ambient abstract state machines with applications

DOI10.1016/j.jcss.2011.08.004zbMath1246.68088OpenAlexW2082960337MaRDI QIDQ439957

Egon Börger, Antonio Cisternino, Vincenzo Gervasi

Publication date: 17 August 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.004

zbMATH Keywords

abstract state machinesmobile agentsambient conceptmemory sharing disciplinesnaming disciplinesobject-oriented design patterns

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Agent technology and artificial intelligence (68T42)

Related Items (3)

Capturing Membrane Computing by ASMs ⋮ Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines ⋮ The Subject-Oriented Approach to Software Design and the Abstract State Machines Method

Uses Software

• CoreASM

Cites Work

• The ASM refinement method
• Mobile ambients
• Formal specification and verification of the C\(\#\) thread model
• Program Verification and System Dependability
• Abstract State Machines
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ambient abstract state machines with applications