INTERPRETING ONE CONCURRENT CALCULUS IN ANOTHER

被引:1
|
作者
MILNER, R
机构
[1] Department of Computer Science, Edinburgh University, Edinburgh, EH9 3JZ, King's Buildings, Mayfield Road
关键词
D O I
10.1016/0304-3975(90)90059-Q
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
[No abstract available]
引用
收藏
页码:3 / 13
页数:11
相关论文
共 50 条
  • [1] Analyzing data is one thing, interpreting it another
    Hossenfelder, Sabine
    QUANTITATIVE SCIENCE STUDIES, 2021, 2 (01): : 273 - 274
  • [3] Gift to One Another: Interpreting Songlines Through the Relational Dynamics of Kuruwarri
    Pawu, Wanta Jampijinpa
    Curkpatrick, Samuel
    JOURNAL OF INTERCULTURAL STUDIES, 2023, 44 (05) : 760 - 771
  • [4] The concurrent objects calculus
    Zhang, Q
    Li, WH
    Chen, SH
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 381 - 386
  • [5] Concurrent Pattern Calculus
    Given-Wilson, Thomas
    Gorla, Daniele
    Jay, Barry
    THEORETICAL COMPUTER SCIENCE, 2010, 323 : 244 - +
  • [6] A CONCURRENT PATTERN CALCULUS
    Given-Wilson, Thomas
    Gorla, Daniele
    Jay, Barry
    LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03)
  • [7] Calculus for concurrent objects
    Di, Blasio, Paolo
    Fisher, Kathleen
    Lecture Notes in Computer Science, 1996, 1119
  • [8] ANOTHER ACCIDENT IN A CALCULUS CLASS
    WILLIAMS, KS
    GROENEWO.C
    AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (01): : 76 - &
  • [9] Concurrent calculus with geographical constraints
    Sendai Natl Coll of Technology, Sendai-shi, Japan
    IEICE Trans Fund Electron Commun Comput Sci, 4 (547-555):
  • [10] Concurrent constraints in the fusion calculus
    Victor, B
    Parrow, J
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 455 - 469