A LOGICAL THEORY OF CONCURRENT OBJECTS

被引：0
|
作者：
MESEGUER, J
机构：
[1] STANFORD UNIV, CTR STUDY LANGUAGE & INFORMAT, STANFORD, CA 94305 USA
[2] SRI INT, MENLO PK, CA 94025 USA
来源：
SIGPLAN NOTICES | 1990年 / 25卷 / 10期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：101 / 115
页数：15
相关论文
共 50 条
  • [1] A LOGICAL THEORY OF OBJECTS
    RISKA, A
    MONIST, 1982, 65 (04): : 481 - 490
  • [2] A logical theory of interfaces and objects
    Alencar, PSC
    Cowan, DD
    Lucena, CJP
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (06) : 548 - 575
  • [3] A LOGICAL-PRAGMATIC THEORY OF OBJECTS
    Riska, Augustin
    ORGANON F, 2006, 13 (03) : 306 - 320
  • [4] ACQUAINTANCE WITH LOGICAL OBJECTS IN 'THEORY OF KNOWLEDGE' + RUSSELL,BERTRAND
    MURRAY, J
    RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 1991, 11 (02): : 147 - 164
  • [5] A concurrent logical relation
    IT University of Copenhagen, Denmark
    Leibniz Int. Proc. Informatics, LIPIcs, 1868, (107-121):
  • [6] LOGICAL OBJECTS WITH CONSTRAINTS
    XU, DX
    ZHENG, GL
    SIGPLAN NOTICES, 1995, 30 (01): : 5 - 10
  • [7] A plea for logical objects
    McKeon, Matthew William
    SYNTHESE, 2009, 167 (01) : 163 - 182
  • [8] A plea for logical objects
    Matthew William McKeon
    Synthese, 2009, 167 : 163 - 182
  • [9] A concurrent algorithm for logical subsumption
    Tonin, I
    Bittencourt, G
    LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2001, 7 : 263 - 269
  • [10] LOGICAL VERIFICATION OF CONCURRENT PROGRAMS
    KRUMM, H
    ANGEWANDTE INFORMATIK, 1987, (04): : 131 - 140
12345