NEW FAMILIES OF NON REAL-TIME DPDAS AND THEIR DECIDABILITY RESULTS

被引：1
|
作者：
ITZHAIK, Y [1 ]
YEHUDAI, A [1 ]
机构：
[1] TEL AVIV UNIV,SCH MATH SCI,DEPT COMP SCI,IL-69978 TEL AVIV,ISRAEL
来源：
THEORETICAL COMPUTER SCIENCE | 1984年 / 34卷 / 03期
关键词：
D O I：
10.1016/0304-3975(84)90054-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：255 / 274
页数：20
相关论文
共 50 条
  • [21] New Results in Modeling and Supervisory Control of Real-Time Discrete Event Systems
    Khoumsi, Ahmed
    Ouedraogo, Lucien
    18TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, 2010, : 669 - 676
  • [22] A new real-time shape acquisition with a laser scanner: first test results
    Niola, Vincenzo
    Rossi, Cesare
    Savino, Sergio
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2010, 26 (06) : 543 - 550
  • [23] TransLink lab offers real-time results
    Kosik, Al
    Balke, Kevin
    Texas Transportation Researcher, 2002, 38 (04):
  • [24] REAL-TIME RADIOLOGY STANDARDS - RESULTS OF A WORKSHOP
    PLACIOUS, RC
    SIEWERT, TA
    MATERIALS EVALUATION, 1987, 45 (11) : 1270 - 1271
  • [25] Optimality Results for Multiprocessor Real-Time Locking
    Brandenburg, Bjoern B.
    Anderson, James H.
    31ST IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2010), 2010, : 49 - 60
  • [26] SUBTRACTING THE RESULTS OF 2 COUNTERS IN REAL-TIME
    IMPERIALE, C
    ELECTRONIC ENGINEERING, 1979, 51 (629): : 17 - &
  • [27] SIMULATION RESULTS FOR A REAL-TIME OPERATING SYSTEM
    VOHDIN, V
    ANGEWANDTE INFORMATIK, 1972, (01): : 37 - &
  • [28] Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications
    Ruiz, Alejandro Perez
    Rivas, Mario Aldea
    Harbour, Michael Gonzalez
    IEEE ACCESS, 2020, 8 : 147618 - 147634
  • [29] On a new formulation of the real-time propagator
    Baeurle, SA
    JOURNAL OF MATHEMATICAL CHEMISTRY, 2003, 34 (1-2) : 29 - 38
  • [30] Managing client bandwidth in the presence of both real-time and non real-time network traffic
    Wijnants, Maarten
    Lamotte, Wim
    2008 3RD INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEM SOFTWARE AND MIDDLEWARE AND WORKSHOPS, VOLS 1 AND 2, 2008, : 442 - +
12345