A fully abstract may testing semantics for concurrent objects

被引：13
|
作者：
Jeffrey, A [1 ]
Rathke, J [1 ]
机构：
[1] De Paul Univ, CTI, Chicago, IL 60614 USA
来源：
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 2002年
关键词：
D O I：
10.1109/LICS.2002.1029820
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper provides a fully abstract semantics for a variant of the concurrent object calculus. We define may testing for concurrent object components and then characterise it using a trace semantics inspired by UML interaction diagrams. The main result of this paper is to show that the trace semantics is fully abstract for may testing. This is the first such result for a concurrent object language.
引用
收藏
页码：101 / 112
页数：12
相关论文
共 50 条
  • [1] A fully abstract may testing semantics for concurrent objects
    Jeffrey, A
    Rathke, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 338 (1-3) : 17 - 63
  • [2] A fully abstract semantics for concurrent constraint programming
    Nystrom, SO
    Jonsson, B
    [J]. INFORMATION AND COMPUTATION, 1998, 146 (02) : 138 - 180
  • [3] Trace Semantics Is Fully Abstract
    Nain, Sumit
    Vardi, Moshe Y.
    [J]. 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 59 - 68
  • [4] A fully abstract semantics for causality in the π-calculus
    Boreale, M
    Sangiorgi, D
    [J]. ACTA INFORMATICA, 1998, 35 (05) : 353 - 400
  • [5] A Fully Abstract Semantics for Constructor Systems
    Javier Lopez-Fraguas, Francisco
    Rodriguez-Hortala, Juan
    Sanchez-Hernandez, Jaime
    [J]. REWRITING TECHNIQUES AND APPLICATIONS, 2009, 5595 : 320 - 334
  • [6] A fully abstract denotational semantics for the π-calculus
    Hennessy, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 53 - 89
  • [7] A fully abstract semantics for UML components
    deBoer, FS
    Bonsangue, MM
    Steffen, M
    Abraham, E
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2005, 3657 : 49 - 69
  • [8] Abstract Objects and the Semantics of Natural Language
    Yi, Byeong-Uk
    [J]. MIND, 2015, 124 (495) : 958 - 964
  • [9] Abstract Objects and the Semantics of Natural Language
    Payne, Jonathan
    [J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2014, 92 (01) : 209 - 209
  • [10] Abstract interpretation of trace semantics for concurrent calculi
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    [J]. INFORMATION PROCESSING LETTERS, 1999, 70 (02) : 69 - 78
12345