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

文章基本信息

  • 标题:Unifying the Linear Time-Branching Time Spectrum of Process Semantics
  • 本地全文:下载
  • 作者:David de Frutos Escrig ; Carlos Gregorio-Rodríguez ; Miguel Palomino
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2013
  • 卷号:9
  • 期号:2
  • 页码:1
  • DOI:10.2168/LMCS-9(2:11)2013
  • 出版社:Technical University of Braunschweig
  • 摘要:Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their discrimination power. In this paper we bring forward a refinement of this classification and show how the process semantics can be dealt with in a uniform way: based on the very natural concept of constrained simulation we show how we can classify the spectrum in layers; for the families lying in the same layer we show how to obtain in a generic way equational, observational, logical and operational characterizations; relations among layers are also very natural and differences just stem from the constraint imposed on the simulations that rule the layers. Our methodology also shows how to achieve a uniform treatment of semantic preorders and equivalences.
  • 其他关键词:process semantics, linear time-branching time spectrum, algebraic languages, simulation semantics, linear semantics, constrained simulation, axiomatizations, unification.
国家哲学社会科学文献中心版权所有