首页    期刊浏览 2024年12月04日 星期三
登录注册

文章基本信息

  • 标题:An Introduction to the Tool Ticc
  • 本地全文:下载
  • 作者:Legay, Axel ; de Alfaro, Luca ; Faella, Marco
  • 期刊名称:OASIcs : OpenAccess Series in Informatics
  • 电子版ISSN:2190-6807
  • 出版年度:2006
  • 卷号:3
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:This paper is a tutorial introduction to the sociable interface model of [12] and its underlying tool \textsc{Tcc}. The paper starts with a survey of the theory of interfaces and then introduces the sociable interface model that is a game-based model with rich communication primitives to facilitate the modeling of software and distributed systems. The model and its main features are then intensivelly discussed and illustrated using the tool \textsc{Tcc}.
  • 关键词:Open system; game; interface automata
国家哲学社会科学文献中心版权所有