MOBILE AMBIENT CALCULUS WITHIN INSERTION MODELING SYSTEM.
This article is focused on the Insertional Modeling System developed by A.A. Letichevsky of the department 100/105 of the Glushkov Institute of Cybernetics, National Academy of Science of Ukraine, Kyiv, Ukraine. Insertion Modeling System (IMS)[1] is built on the Algebraic Programming System (APS) th...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Kherson State University,
2010-11-01T00:00:00Z.
|
| Subjects: | |
| Online Access: | Connect to this object online. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | This article is focused on the Insertional Modeling System developed by A.A. Letichevsky of the department 100/105 of the Glushkov Institute of Cybernetics, National Academy of Science of Ukraine, Kyiv, Ukraine. Insertion Modeling System (IMS)[1] is built on the Algebraic Programming System (APS) that also was developed by A.A. Letichevsky in 1987. On the way of implementation of ambient calculus - a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorize about concurrent systems that include mobility.[6] In this article we are going to discuss the constructing of the framework for mobile ambients using the Insertion Modeling System. |
|---|---|
| Item Description: | 1998-6939 2306-1707 |