Concurrent calculus with geographical constraints

被引:0
|
作者
Sendai Natl Coll of Technology, Sendai-shi, Japan [1 ]
机构
来源
关键词
D O I
暂无
中图分类号
学科分类号
摘要
14
引用
收藏
相关论文
共 50 条
  • [1] A concurrent calculus with geographical constraints
    Ando, T
    Takahashi, K
    Kato, Y
    Shiratori, N
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1998, E81A (04) : 547 - 555
  • [2] Concurrent constraints in the fusion calculus
    Victor, B
    Parrow, J
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 455 - 469
  • [3] Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
    Rueda C.
    Alvarez G.
    Quesada L.O.
    Tamura G.
    Valencia F.
    Díaz J.F.
    Assayag G.
    Constraints, 2001, 6 (01) : 21 - 52
  • [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] GEOGRAPHICAL DISTRIBUTION OF URINARY CALCULUS
    不详
    BMJ-BRITISH MEDICAL JOURNAL, 1965, 1 (5447): : 1392 - +
  • [9] A concurrent calculus with atomic transactions
    Acciai, Lucia
    Boreale, Michele
    Dal Zilio, Silvano
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 48 - +
  • [10] A filter model for concurrent λ-calculus
    Dezani-Ciancaglini, M
    De'Liguoro, U
    Piperno, A
    SIAM JOURNAL ON COMPUTING, 1998, 27 (05) : 1376 - 1419