ON SYSTEM EXECUTIONS AND STATES

被引：2

作者：

ABRAHAM, U ^{[1
]}

机构：

[1] BEN GURION UNIV NEGEV, DEPT MATH & COMP SCI, BEER SHEVA, ISRAEL

来源：

APPLIED INTELLIGENCE | 1993年 / 3卷 / 01期

关键词：

CORRECTNESS OF PROGRAMS; GLOBAL TIME; SYSTEM EXECUTION; SEMANTICS OF CONCURRENCY; CORES OF EXECUTIONS;

D O I：

10.1007/BF00871720

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

An approach for modeling dynamic situations where several processes execute concurrently is described. Using the concepts ''system execution'' and ''pomset'' defined by Lamport and Gischer, we address basic issues such as: what is an ''event''? what is a ''state'' of a system? how should time be represented? etc. The notion of a system execution is extended in such a way that a state is just a peculiar system execution, one in which no event precedes another-it is the description of a moment. This allows demonstrating the duality within a single framework of two approaches to modeling concurrency: the one based on events and the other on states.

引用

页码：17 / 30

页数：14

共 15 条

[1]

AEBRAHAM U, 1990, P INT BCS FACS WORKS, P311

[2] ON LAMPORT INTERPROCESSOR COMMUNICATION MODEL [J].

ANGER, FD .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03) :404-417

[3]

BENDAVID S, 1988, 7TH P ANN ACM S PRIN, P223

[4]

FISHBURN PC, 1986, WILEY INTERSCIENCE S

[5]

GAIFMAN H, 1989, LECT NOTES COMPUT SC, V354, P467

[6] THE EQUATIONAL THEORY OF POMSETS [J].

GISCHER, JL .

THEORETICAL COMPUTER SCIENCE, 1988, 61 (2-3) :199-224

[7]

GISCHER JL, 1984, THESIS STANFORD U

[8]

Lamport L., 1979, ACM Transactions on Programming Languages and Systems, V1, P84, DOI 10.1145/357062.357068

[9] THE MUTUAL EXCLUSION PROBLEM .1. A THEORY OF INTERPROCESS COMMUNICATION [J].

LAMPORT, L .

JOURNAL OF THE ACM, 1986, 33 (02) :313-326

[10] ON INTERPROCESS COMMUNICATION .1. BASIC FORMALISM [J].

LAMPORT, L .

DISTRIBUTED COMPUTING, 1986, 1 (02) :77-85

← 1 2 →