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

文章基本信息

  • 标题:Controlling resource access in Directed Bigraphs
  • 本地全文:下载
  • 作者:Davide Grohmann ; Marino Miculan
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2008
  • 卷号:10
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous versions, we add the possibility that components may govern the access to resources, like (web) servers control requests from clients. This framework encompasses many common computational aspects, such as name or channel creation, references, client/server connections, localities, etc, still allowing to derive systematically labelled transition systems whose bisimilarities are congruences. As application examples, we analyse the encodings of client/server communications through firewalls, of (compositional) Petri nets and of chemical reactions.
国家哲学社会科学文献中心版权所有