ASYNCHRONOUS LOGIC ARRAY FOR REALIZATION OF LOGIC SYSTEMS WITH CONCURRENCY

被引：1

|

作者：

COURVOISIER, M

机构：

来源：

ELECTRONICS LETTERS | 1978年 / 14卷 / 04期

关键词：

D O I：

10.1049/el:19780081

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

8

引用

收藏

页码：119 / 121

页数：3

相关论文

共 50 条

[41] REALIZATION OF THRESHOLD LOGIC CIRCUITS
DATTAGUPTA, R
BASU, DK
INTERNATIONAL JOURNAL OF ELECTRONICS, 1974, 37 (01) : 79 - 82
[42] FLUIDIC REALIZATION OF THRESHOLD LOGIC
ERICKSON, HM
BELL, NR
MECHANICAL ENGINEERING, 1969, 91 (03) : 65 - &
[43] Fine-grained Concurrency with Separation Logic
Kalpesh Kapoor
Kamal Lodaya
Uday S. Reddy
Journal of Philosophical Logic, 2011, 40 : 583 - 632
[44] Fine-grained Concurrency with Separation Logic
Kapoor, Kalpesh
Lodaya, Kamal
Reddy, Uday S.
JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (05) : 583 - 632
[45] Local Model Checking in a Logic for True Concurrency
Baldan, Paolo
Padoan, Tommaso
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 407 - 423
[46] ARITHMETIC PLUS LOGIC PLUS GEOMETRY = CONCURRENCY
PRATT, V
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 583 : 430 - 447
[47] CONDITIONAL REWRITING LOGIC AS A UNIFIED MODEL OF CONCURRENCY
MESEGUER, J
THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 73 - 155
[48] CONDITIONAL REWRITING LOGIC - DEDUCTION, MODELS AND CONCURRENCY
MESEGUER, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 64 - 91
[49] LOGIC PROGRAMMING - THE FOUNDATIONS, THE APPROACH AND THE ROLE OF CONCURRENCY
LEVI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 396 - 441
[50] BOUNDED QUANTIFICATIONS FOR ITERATION AND CONCURRENCY IN LOGIC PROGRAMMING
BARKLUND, J
NEW GENERATION COMPUTING, 1994, 12 (02) : 161 - 182

← 1 2 3 4 5 →