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 条
  • [1] DELAY GENERATION IN ASYNCHRONOUS LOGIC SYSTEMS
    LEWIN, DW
    ELECTRONIC ENGINEERING, 1969, 41 (493): : 356 - &
  • [2] A Logic for True Concurrency
    Baldan, Paolo
    Crafa, Silvia
    JOURNAL OF THE ACM, 2014, 61 (04)
  • [3] A Logic for True Concurrency
    Baldan, Paolo
    Crafa, Silvia
    CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 147 - 161
  • [4] ITERATIVE REALIZATION OF MULTIVALUED LOGIC SYSTEMS
    SRINI, VP
    IEEE TRANSACTIONS ON COMPUTERS, 1979, 28 (04) : 306 - 310
  • [5] An Asynchronous Updating Scheme for a Cellular Logic Memory Array
    Isokawa, Teijiro
    Ishibashi, Shoji
    Minemoto, Toshifumi
    Matsui, Nobuyuki
    Peper, Ferdinand
    2016 FOURTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), 2016, : 254 - 257
  • [6] On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
    Bellin, Gianluigi
    Menti, Alessandro
    FUNDAMENTA INFORMATICAE, 2014, 130 (01) : 21 - 65
  • [7] ASYNCHRONOUS LOGIC
    LACY, JG
    IEE REVIEW, 1993, 39 (05): : 196 - 196
  • [8] Modeling logic systems with structured array-based logic
    Davidrajuh, R
    Hussein, B
    MODELING IDENTIFICATION AND CONTROL, 2003, 24 (01) : 27 - 35
  • [9] Concurrency, logic, model checking
    Gerard, S
    Kozsik, T
    Pons, C
    Qiu, W
    Zhang, XG
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 13 - 19
  • [10] On Linear Logic Planning and Concurrency
    Kahramanogullari, Ozan
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2008, 5196 : 250 - 262
12345