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 条
  • [41] ONE ANOTHER
    Hodgson, Jennifer
    TLS-THE TIMES LITERARY SUPPLEMENT, 2019, (6084): : 22 - 22
  • [42] Another counterexample to lower semicontinuity in calculus of variations
    Cerny, R
    Maly, J
    JOURNAL OF CONVEX ANALYSIS, 2002, 9 (01) : 295 - 299
  • [43] ANOTHER CAUSE OF PSEUDO CALCULUS IN THE BILIARY TREE
    BAER, JW
    ABIRI, M
    GASTROINTESTINAL RADIOLOGY, 1982, 7 (01): : 91 - 91
  • [44] A layered agent calculus with concurrent, continuous processes
    Jung, CG
    Fischer, K
    INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 245 - 258
  • [45] Abstraction of Situation Calculus Concurrent Game Structures
    Lesperance, Yves
    De Giacomo, Giuseppe
    Rostamigiv, Maryam
    Khan, Shakil M.
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10624 - 10634
  • [46] OOlong: A Concurrent Object Calculus for Extensibility and Reuse
    Castegren, Elias
    Wrigstad, Tobias
    APPLIED COMPUTING REVIEW, 2018, 18 (04): : 47 - 60
  • [47] A π-calculus process semantics of concurrent idealised ALGOL
    Röckl, C
    Sangiorgi, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 306 - 321
  • [48] Explicit Identifiers and Contexts in Reversible Concurrent Calculus
    Aubert, Clement
    Medic, Doriana
    REVERSIBLE COMPUTATION (RC 2021), 2021, 12805 : 144 - 162
  • [49] Dynamic access control in a concurrent object calculus
    Chaudhuri, Avik
    CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 263 - 278
  • [50] A Truly Concurrent Game Model of the Asynchronous π-Calculus
    Sakayori, Ken
    Tsukada, Takeshi
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 389 - 406
12345