INTERPRETING ONE CONCURRENT CALCULUS IN ANOTHER

被引：1
|
作者：
MILNER, R
机构：
[1] Department of Computer Science, Edinburgh University, Edinburgh, EH9 3JZ, King's Buildings, Mayfield Road
来源：
THEORETICAL COMPUTER SCIENCE | 1990年 / 75卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(90)90059-Q
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
[No abstract available]
引用
收藏
页码：3 / 13
页数：11
相关论文
共 50 条
  • [21] Understanding and Interpreting Calculus Graphs: Refining an Instrument
    Perez-Goytia, Nadia
    Dominguez, Angeles
    Zavala, Genaro
    2010 PHYSICS EDUCATION RESEARCH CONFERENCE, 2010, 1289 : 249 - +
  • [22] Interpreting a reconstructed relational calculus: Extended Abstract
    Watters, Aaron
    SIGMOD Record, 1993, 22 (02) : 367 - 376
  • [23] A Stochastic pi calculus for concurrent objects
    Kuttler, Celine
    Lhoussaine, Cedric
    Niehren, Joachim
    ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 232 - +
  • [24] OOlong: An Extensible Concurrent Object Calculus
    Castegren, Elias
    Wrigstad, Tobias
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1022 - 1029
  • [25] CONCURRENT ENGINEERING - ANOTHER VIEW
    NOVELLINO, J
    ELECTRONIC DESIGN, 1992, 40 (13) : 18 - 18
  • [26] A confluent calculus for concurrent constraint programming
    Marriott, K
    Odersky, M
    THEORETICAL COMPUTER SCIENCE, 1997, 173 (01) : 209 - 233
  • [27] Concurrent Calculus (CC) and Its Properties
    李未
    王飓安
    Science China Mathematics, 1993, (06) : 744 - 753
  • [28] Calculus of Concurrent Probabilistic Reversible Processes
    Arpit
    Kumar, Divya
    7TH INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION TECHNOLOGY (ICCCT - 2017), 2017, : 34 - 40
  • [29] Another set of concurrent cevians
    Mihai, V
    AMERICAN MATHEMATICAL MONTHLY, 2000, 107 (04): : 373 - 373
  • [30] Interpreting the B-Method in the refinement calculus
    Rouzaud, Y
    FM'99-FORMAL METHODS, 1999, 1708 : 411 - 430
12345