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 条

[41] THE VIENNA ABSTRACT MACHINE
KRALL, A
NEUMERKEL, U
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 121 - 135
[42] The Euclid abstract machine
Mycka, Jerzy
Costa, Jose Felix
Coelho, Francisco
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2008, 4 (03) : 223 - 247
[43] DISTRIBUTED ABSTRACT MACHINE
SCHINDLER, S
COMPUTER COMMUNICATIONS, 1980, 3 (05) : 208 - 220
[44] THE CATEGORICAL ABSTRACT MACHINE
COUSINEAU, G
CURIEN, PL
MAUNY, M
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 201 : 50 - 64
[45] The York Abstract Machine
Manning, Greg
Plump, Detlef
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 211 : 231 - 240
[46] PAGINATION OF TRANSACTIONS AND OF CHEMICAL ENGINEER
TAYLOR, RF
CHEMICAL ENGINEER-LONDON, 1970, (243): : C393 - &
[47] Transactions of the Institution of Chemical Engineers
Chaudhuri, J
FOOD AND BIOPRODUCTS PROCESSING, 2001, 79 (C1) : 1 - 1
[48] Standard for chemical transactions boosted
不详
CHEMICAL ENGINEERING PROGRESS, 2001, 97 (01) : 20 - 20
[49] Transactions of the Institution of Chemical Engineers
Clayton, R
PROCESS SAFETY AND ENVIRONMENTAL PROTECTION, 1998, 76 (B4) : 269 - 270
[50] Categorical programming with abstract data types
Erwig, M
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 406 - 421

← 1 2 3 4 5 →