Using ambient in computational reflection semantics description

Jianghua Lv; Shilong Ma; Aili Wang; Jing Pan

doi:10.1007/11534310_115

Using ambient in computational reflection semantics description

Jianghua Lv^*
, Shilong Ma
, Aili Wang
, Jing Pan

^*Corresponding author for this work

School of Computer Science and Engineering

College of Computer Science and Technology
Beihang University
Fifth Medical Center of the General Hospital of the Chinese People's Liberation Army
University of Science and Technology Beijing

Research output: Contribution to journal › Conference article › peer-review

Abstract

With the development of wide-area network, distribution and mobility have become the main character of computation. Similarly, reflection systems are mostly like to implement under this environments, as a result how to describe reflection semantics in distributed and mobile environment is necessary indeed to understand and automatically generate reflection mechanism. We give a new semantics description for distributed computational reflection system in ambient calculus and also we give the proof to verify our approach.

Original language	English
Pages (from-to)	1105-1114
Number of pages	10
Journal	Lecture Notes in Computer Science
Volume	3619
DOIs	https://doi.org/10.1007/11534310_115
State	Published - 2005
Event	Third International Conference on Computer Network and Mobile Computing, ICCNMC 2005 - Zhangjiajie, China Duration: 2 Aug 2005 → 4 Aug 2005

Access to Document

10.1007/11534310_115

Cite this

@article{0f82ea72dfe9428d91fe5e8e85ee83b9,

title = "Using ambient in computational reflection semantics description",

abstract = "With the development of wide-area network, distribution and mobility have become the main character of computation. Similarly, reflection systems are mostly like to implement under this environments, as a result how to describe reflection semantics in distributed and mobile environment is necessary indeed to understand and automatically generate reflection mechanism. We give a new semantics description for distributed computational reflection system in ambient calculus and also we give the proof to verify our approach.",

author = "Jianghua Lv and Shilong Ma and Aili Wang and Jing Pan",

year = "2005",

doi = "10.1007/11534310\_115",

language = "英语",

volume = "3619",

pages = "1105--1114",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "Third International Conference on Computer Network and Mobile Computing, ICCNMC 2005 ; Conference date: 02-08-2005 Through 04-08-2005",

}

TY - JOUR

T1 - Using ambient in computational reflection semantics description

AU - Lv, Jianghua

AU - Ma, Shilong

AU - Wang, Aili

AU - Pan, Jing

PY - 2005

Y1 - 2005

N2 - With the development of wide-area network, distribution and mobility have become the main character of computation. Similarly, reflection systems are mostly like to implement under this environments, as a result how to describe reflection semantics in distributed and mobile environment is necessary indeed to understand and automatically generate reflection mechanism. We give a new semantics description for distributed computational reflection system in ambient calculus and also we give the proof to verify our approach.

AB - With the development of wide-area network, distribution and mobility have become the main character of computation. Similarly, reflection systems are mostly like to implement under this environments, as a result how to describe reflection semantics in distributed and mobile environment is necessary indeed to understand and automatically generate reflection mechanism. We give a new semantics description for distributed computational reflection system in ambient calculus and also we give the proof to verify our approach.

UR - https://www.scopus.com/pages/publications/26444533503

U2 - 10.1007/11534310_115

DO - 10.1007/11534310_115

M3 - 会议文章

AN - SCOPUS:26444533503

SN - 0302-9743

VL - 3619

SP - 1105

EP - 1114

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Third International Conference on Computer Network and Mobile Computing, ICCNMC 2005

Y2 - 2 August 2005 through 4 August 2005

ER -

Using ambient in computational reflection semantics description

Abstract

Access to Document

Other files and links

Fingerprint

Cite this