• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
    • 联系方式
    International Conference on Concurrency Theory

    International Conference on Concurrency Theory

    ConferenceCCF 计算机科学理论 B

    年发文量

    研究主题

    论文（1820）

    排序
    1Word Automata with Limited Nondeterminism (invited Talk).
    Yong Li, Soumyajit Paul,Sven Schewe,Qiyi Tang
    2026
    引用
    AI阅读
    加入学术空间
    2When Behaviours Have to Happen: an Axiomatic Model of Causality in Behaviour-Oriented Concurrency.
    Luke Cheeseman,Elias Castegren,Tobias Wrigstad,Sophia Drossopoulou,Matthew J. Parkinson
    2026
    引用
    AI阅读
    加入学术空间
    3Concurrent Visibility: Higher-Order Concurrency with First-Order Store.
    Iwan Quémerais,Guilhem Jaber, Ken Sakayori,Davide Sangiorgi
    2026
    引用
    AI阅读
    加入学术空间
    4Revisiting True Concurrency Bisimilarities: on the Role of Backward Ready Multisets and Why They Are Not Enough for HPB and HHPB.
    Andrea Esposito,Marco Bernardo
    2026
    引用
    AI阅读
    加入学术空间
    5Threshold-Based Behavioural Distances.
    Jonas Forster,Lutz Schröder,Paul Wild,Barbara König,Pedro Nora
    2026
    引用
    AI阅读
    加入学术空间
    立即登录，查看全部 1820 篇论文

    高被引作者

    作者引用发文
    Thomas A. Henzinger221044
    Rajeev Alur132912
    Nobuko Yoshida115019
    Ahmed Bouajjani110916
    Javier Esparza103923
    Roberto Segala10399
    Kohei Honda98710
    Rob Van Glabbeek91118
    Robin Milner8967
    Orna Kupferman88422

    高产作者

    作者引用发文
    Thomas A. Henzinger221044
    Javier Esparza103923
    Orna Kupferman88422
    Jean François Raskin47721
    Paul Gastin42720
    Nobuko Yoshida115019
    Ugo Montanari68119
    Joost-Pieter Katoen84618
    Krishnendu Chatterjee65218
    Rob Van Glabbeek91118

    相关期刊

    Journal of Automated Reasoning
    Typed Lambda Calculus and Applications
    Annual Conference for Computer Science Logic
    Formal Structures for Computation and Deduction
    Foundations of Software Science and Computation Structure
    International Colloquium on Theoretical Aspects of Computing
    Mathematical Foundations of Programming Semantics
    Reachability Problems
    Bulletin of The European Association for Theoretical Computer Science
    ACM Transactions on Computational Logic