Calculus for concurrent objects

被引：0
|
作者：
Di, Blasio, Paolo
Fisher, Kathleen
机构：
来源：
Lecture Notes in Computer Science | 1996年 / 1119卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] The concurrent objects calculus
    Zhang, Q
    Li, WH
    Chen, SH
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 381 - 386
  • [2] A Stochastic pi calculus for concurrent objects
    Kuttler, Celine
    Lhoussaine, Cedric
    Niehren, Joachim
    ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 232 - +
  • [3] A control-flow analysis for a calculus of concurrent objects
    Di Blasio, P
    Fisher, K
    Talcott, C
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 617 - 634
  • [4] A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network protocols
    Li, Qin
    Zeng, Qingkai
    NSS: 2009 3RD INTERNATIONAL CONFERENCE ON NETWORK AND SYSTEM SECURITY, 2009, : 232 - 239
  • [5] Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
    Rueda C.
    Alvarez G.
    Quesada L.O.
    Tamura G.
    Valencia F.
    Díaz J.F.
    Assayag G.
    Constraints, 2001, 6 (01) : 21 - 52
  • [6] Typed π-calculus at work:: A correctness proof of Jones's parallelisation transformation on concurrent objects
    Sangiorgi, D
    THEORY AND PRACTICE OF OBJECT SYSTEMS, 1999, 5 (01): : 25 - 33
  • [7] Concurrent Pattern Calculus
    Given-Wilson, Thomas
    Gorla, Daniele
    Jay, Barry
    THEORETICAL COMPUTER SCIENCE, 2010, 323 : 244 - +
  • [8] A CONCURRENT PATTERN CALCULUS
    Given-Wilson, Thomas
    Gorla, Daniele
    Jay, Barry
    LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03)
  • [9] A Calculus of Evolving Objects
    Dezani-Ciancaglini, Mariangiola
    Giannini, Paola
    Nierstrasz, Oscar
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2008, 18 : 63 - 98
  • [10] Objects and their lambda calculus
    Tzouvaras, A
    THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 209 - 232
12345