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 条
  • [41] Cooperative Exceptions for Concurrent Objects
    Cabral, Bruno
    Fonseca, Alcides
    Marques, Paulo
    Aldrich, Jonathan
    2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2015, : 21 - 31
  • [42] 2 MODELS OF CONCURRENT OBJECTS
    NIERSTRASZ, OM
    SIGPLAN NOTICES, 1989, 24 (04): : 174 - 176
  • [43] TESTING AND VERIFYING CONCURRENT OBJECTS
    WING, JM
    GONG, C
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1993, 17 (1-2) : 164 - 182
  • [44] Foundation for refining concurrent objects
    Buchi, Martin
    Sekerinski, Emil
    Fundamenta Informaticae, 2000, 44 (01) : 25 - 61
  • [45] Transactional monitors for concurrent objects
    Welc, A
    Jagannathan, S
    Hosking, AL
    ECOOP 2004 - OBJECT-ORIENTED PROGRAMMING, 2004, 3086 : 519 - 542
  • [46] Logical expressivism, logical theory and the critique of inferences
    Georg Brun
    Synthese, 2019, 196 : 4493 - 4509
  • [47] On sharing of objects in concurrent design
    Frank, A
    Mitschang, B
    PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, 2001, : 71 - 76
  • [48] Transactional monitors for concurrent objects
    Department of Computer Sciences, Purdue University, West Lafayette
    IN
    47906, United States
    IBM; IQSOFT; Microsoft Research; NOKIA; Simula research laboratory, 1611, 518-541 (2004):
  • [49] Multiparty Compatibility for Concurrent Objects
    Perera, Roly
    Lange, Julien
    Gay, Simon J.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (211): : 73 - 82
  • [50] Distributed objects for concurrent engineering
    Estublier, J
    SYSTEM CONFIGURATION MANAGEMENT, 1999, 1675 : 172 - 185
12345