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 条
  • [11] Towards Programming Languages for Machine Learning and Data Mining (Extended Abstract)
    De Raedt, Luc
    Nijssen, Siegfried
    FOUNDATIONS OF INTELLIGENT SYSTEMS, 2011, 6804 : 25 - 32
  • [12] Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract)
    Inoue, Katsumi
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2024, 2024, 14659 : 3 - 9
  • [13] Liveness of Communicating Transactions (Extended Abstract)
    de Vries, Edsko
    Koutavas, Vasileios
    Hennessy, Matthew
    PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 392 - 407
  • [14] Bisimulations for Communicating Transactions (Extended Abstract)
    Koutavas, Vasileios
    Spaccasassi, Carlo
    Hennessy, Matthew
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 320 - 334
  • [15] Describing Component Behavior Using Improved Chemical Abstract Machine
    Chen, Jinfu
    Li, Qing
    Wang, Huanhuan
    Huang, Rubing
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 605 - +
  • [16] A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
    Mackie, Ian
    Sato, Shinya
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 192 (03) : 59 - 70
  • [17] A Vulnerability Model Construction Method Based on Chemical Abstract Machine
    LI Xiang
    CHEN Jinfu
    LIN Zhechao
    ZHANG Lin
    WANG Zibin
    ZHOU Minmin
    XIE Wanggen
    WuhanUniversityJournalofNaturalSciences, 2018, 23 (02) : 150 - 162
  • [18] Choreographic Programming of Isolated Transactions
    Smeele, Ton
    Jongmans, Sung-Shik
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (378): : 49 - 60
  • [19] COMPONENT SECURITY TESTING APPROACH BASED ON EXTENDED CHEMICAL ABSTRACT MACHINE
    Chen, Jinfu
    Lu, Yansheng
    Wang, Huanhuan
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (01) : 59 - 83
  • [20] PROGRAMMING INTERACTIVELY WITH A GRAPHICAL ABSTRACT PROGRAMMING LANGUAGE
    ALBIZURIROMERO, MB
    SIGPLAN NOTICES, 1989, 24 (11): : 116 - 124
12345