Priority and abstraction in process algebra
Information and Computation(2007)
摘要
More than 15 years ago, Cleaveland and Hennessy proposed an extension of the process algebra CCS in which some actions may take priority over others. The theory was equipped with a behavioral congruence based on strong bisimulation.
更多查看译文
关键词
Process algebra,Priority,Bisimulation,Observation congruence,Full abstraction,Axiomatization
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要