Bisimulation as Performance Equivalence Criterion : (max, +) Case (Special Issue on New System Software)

スポンサーリンク

概要

• 論文の詳細を見る

• (max, +) algebra is a promising method for analyzing timed behavior of discrete event systems. In this paper, we shall show that bisimulation, a well-known equivalence criterion of process algebras, can be extended to (max, +) automata and shall give its numerical characterization. The potential great advantage of our approach is that it can handle qualitative correctness and quantitative correctness of discrete event systems simultaneously.

• 一般社団法人情報処理学会の論文
• 1999-06-15

著者

• Fujiwara Yasushi

  Systems & Software Engineering Laboratory Research And Development Center Toshiba Corporation

• Fujiwara Yasushi

  Systems Engineering Laboratory R&d Center Toshiba Corporation

関連論文

• A Nonmonotonic Temporal Logic and Its Kripke Semantics
• Bisimulation as Performance Equivalence Criterion : (max, +) Case (Special Issue on New System Software)
• Dinaturality of Simple Subtyping

スポンサーリンク