Detection of Summative Global Predicates

Loon-Been CHEN; I-Chen WU

Detection of Summative Global Predicates

Loon-Been CHEN, I-Chen WU

Full Text Views

0

Share
Cite this

Summary :

In many distributed systems, tokens are fundamental tools to manage resources shared by processes. Thus, monitoring tokens has become a significant problem in developing the distributed programs. This paper formulates the problems of monitoring tokens in terms of detecting the special global predicates, called summative global predicates. In this paper, several algorithms to detect various summative global predicates are developed and their time complexities are discussed.

Publication: IEICE TRANSACTIONS on Information Vol.E86-D No.5 pp.976-980

Publication Date: 2003/05/01

Publicized

Online ISSN

DOI

Type of Manuscript: LETTER

Category: Theory and Models of Software

Cite this

Copy

Loon-Been CHEN, I-Chen WU, "Detection of Summative Global Predicates" in IEICE TRANSACTIONS on Information, vol. E86-D, no. 5, pp. 976-980, May 2003, doi: .
Abstract: In many distributed systems, tokens are fundamental tools to manage resources shared by processes. Thus, monitoring tokens has become a significant problem in developing the distributed programs. This paper formulates the problems of monitoring tokens in terms of detecting the special global predicates, called summative global predicates. In this paper, several algorithms to detect various summative global predicates are developed and their time complexities are discussed.
URL: https://globals.ieice.org/en_transactions/information/10.1587/e86-d_5_976/_p

Copy

@ARTICLE{e86-d_5_976,
author={Loon-Been CHEN, I-Chen WU, },
journal={IEICE TRANSACTIONS on Information},
title={Detection of Summative Global Predicates},
year={2003},
volume={E86-D},
number={5},
pages={976-980},
abstract={In many distributed systems, tokens are fundamental tools to manage resources shared by processes. Thus, monitoring tokens has become a significant problem in developing the distributed programs. This paper formulates the problems of monitoring tokens in terms of detecting the special global predicates, called summative global predicates. In this paper, several algorithms to detect various summative global predicates are developed and their time complexities are discussed.},
keywords={},
doi={},
ISSN={},
month={May},}

Copy

TY - JOUR
TI - Detection of Summative Global Predicates
T2 - IEICE TRANSACTIONS on Information
SP - 976
EP - 980
AU - Loon-Been CHEN
AU - I-Chen WU
PY - 2003
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E86-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2003
AB - In many distributed systems, tokens are fundamental tools to manage resources shared by processes. Thus, monitoring tokens has become a significant problem in developing the distributed programs. This paper formulates the problems of monitoring tokens in terms of detecting the special global predicates, called summative global predicates. In this paper, several algorithms to detect various summative global predicates are developed and their time complexities are discussed.
ER -