Concurrent calculus with geographical constraints

被引：0
|
作者：
Sendai Natl Coll of Technology, Sendai-shi, Japan [1 ]
机构：
来源：
IEICE Trans Fund Electron Commun Comput Sci | / 4卷 / 547-555期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
14
引用
收藏
相关论文
共 50 条
  • [31] A π-calculus process semantics of concurrent idealised ALGOL
    Röckl, C
    Sangiorgi, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 306 - 321
  • [32] Explicit Identifiers and Contexts in Reversible Concurrent Calculus
    Aubert, Clement
    Medic, Doriana
    REVERSIBLE COMPUTATION (RC 2021), 2021, 12805 : 144 - 162
  • [33] Monitoring Business Constraints with the Event Calculus
    Montali, Marco
    Maggi, Fabrizio M.
    Chesani, Federico
    Mello, Paola
    van der Aalst, Wil M. P.
    ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013, 5 (01)
  • [34] Fractal calculus of variations for problems with constraints
    Golmankhaneh, Alireza Khalili
    Cattani, Carlo
    Pasechnik, Roman
    Furuichi, Shigeru
    Jorgensen, Palle E. T.
    MODERN PHYSICS LETTERS A, 2025, 40 (07N08)
  • [35] ON THE GAUGE STRUCTURE OF THE CALCULUS OF VARIATIONS WITH CONSTRAINTS
    Bruno, Danilo
    Luria, Gianvittorio
    Pagani, Enrico
    INTERNATIONAL JOURNAL OF GEOMETRIC METHODS IN MODERN PHYSICS, 2011, 8 (08) : 1723 - 1746
  • [36] Dynamic access control in a concurrent object calculus
    Chaudhuri, Avik
    CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 263 - 278
  • [37] Constraints on area variables in Regge calculus
    Mäkelä, J
    Williams, RM
    CLASSICAL AND QUANTUM GRAVITY, 2001, 18 (04) : L43 - L47
  • [38] 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
  • [39] A calculus of concurrent graph-rewriting processes
    Kulcsar, Geza
    Corradini, Andrea
    Lochau, Malte
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 110 (110)
  • [40] A formalization of a concurrent object calculus up to α-conversion
    Gillard, G
    AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 417 - 432
12345