Programming with transactions and chemical abstract machine

被引：1
|
作者：
Ma, WL [1 ]
Johnson, CW [1 ]
Brent, RP [1 ]
机构：
[1] AUSTRALIAN NATL UNIV,COMP SCI LAB,CANBERRA,ACT 0200,AUSTRALIA
来源：
SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ISPAN.1996.509044
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：562 / 564
页数：3
相关论文
共 50 条
  • [1] THE CHEMICAL ABSTRACT MACHINE
    BERRY, G
    BOUDOL, G
    THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 217 - 248
  • [2] Programming an agent as abstract state machine
    Dobrowolski, G
    MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 173 - 182
  • [3] FORMAL DESIGN OF AN ABSTRACT MACHINE FOR CONSTRAINT LOGIC PROGRAMMING
    BEIERLE, C
    INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 377 - 382
  • [4] Aladin: An abstract machine for integrating functional and procedural programming
    Axford, T
    Joy, M
    JOURNAL OF PROGRAMMING LANGUAGES, 1996, 4 (02): : 63 - 76
  • [5] A lambda evaluator on linear chemical abstract machine
    Sato, S
    Sugimoto, T
    CONSTRUCTIVE METHODS FOR PARALLEL PROGRAMMING, 2002, 10 : 111 - 125
  • [6] LOGIC PROGRAMMING WITH TYPED UNIFICATION AND ITS REALIZATION ON AN ABSTRACT MACHINE
    BEIERLE, C
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1992, 36 (03) : 375 - 390
  • [7] Logic programming with typed unification and its realization on an abstract machine
    Beierle, C., 1600, (36):
  • [8] Communicating Transactions (Extended Abstract)
    de Vries, Edsko
    Koutavas, Vasileios
    Hennessy, Matthew
    CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 569 - +
  • [9] On a probabilistic Chemical Abstract Machine and the expressiveness of Linda languages
    Di Pierro, Alessandra
    Hankin, Chris
    Wiklicky, Herbert
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 388 - 407
  • [10] A study, of Abramsky's Linear Chemical Abstract Machine
    Mikami, S
    Akama, Y
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 243 - 257
12345