TESTING EQUIVALENCE FOR MOBILE PROCESSES

被引：60

作者：

BOREALE, M

DENICOLA, R

机构：

[1] Dipcrtimento di Scienze dell’Informazione, Università di Roma “La Sapienza”

来源：

INFORMATION AND COMPUTATION | 1995年 / 120卷 / 02期

关键词：

D O I：

10.1006/inco.1995.1114

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The impact of applying the testing approach to a calculus of processes with dynamic communication topology is investigated. A proof system is introduced that consists of two groups of laws: those for strong observational equivalence and those needed to deal with invisible actions. Soundness and completeness of this proof system w.r.t. a testing preorder are shown. A fully abstract denotational model for the language is presented that takes advantage of reductions of processes to normal forms. (C) 1995 Academic Press, Inc.

引用

页码：279 / 303

页数：25

共 26 条

[1] PROCESS THEORY BASED ON BISIMULATION SEMANTICS [J].

BERGSTRA, JA ;

KLOP, JW .

LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 :50-122

[2]

BOREALE M, 1994, LECTURE NOTES COMPUT, V836

[3]

DENICOLA R, 1990, LECT NOTES COMPUT SC, V407, P54

[4] TESTING EQUIVALENCES FOR PROCESSES [J].

DENICOLA, R ;

HENNESSY, MCB .

THEORETICAL COMPUTER SCIENCE, 1984, 34 (1-2) :83-133

[5]

DENICOLA R, 1987, LECT NOTES COMPUT SC, V249, P138

[6] EXTENSIONAL EQUIVALENCES FOR TRANSITION-SYSTEMS [J].

DENICOLA, R .

ACTA INFORMATICA, 1987, 24 (02) :211-237

[7]

ENGBERG U, 1986, DAIMIPB208 AARH U CO

[8]

GUESSARIAN I, 1981, LECTURE NOTES COMPUT, V99

[9] A THEORY OF COMMUNICATING PROCESSES WITH VALUE PASSING [J].

HENNESSY, M ;

INGOLFSDOTTIR, A .

INFORMATION AND COMPUTATION, 1993, 107 (02) :202-236

[10]

HENNESSY M, 1991, MODEL RADIUS CALCULU

← 1 2 3 →