A preorder based on execution speed, called performance preorder, is in- troduced for a simple process algebra with durational actions. Two processes E and F are related -E p F - if they have he same functionality (in this case, we have Chosen strong bisimulation equivalence) and E is at least as fast as F. Hence, this Preorder supports the stepwise refinement "from specification to implementation" by Increasing efficiency while retaining the same functionality.
展开▼
机译：对于具有持续性动作的简单过程代数，引入了基于执行速度的预购，称为性能预购。如果两个过程E和F具有相同的功能-E p F-如果它们具有相同的功能（在这种情况下，我们选择的等效模拟很强），并且E至少与F一样快。因此，此预序支持“从通过在保持相同功能的同时提高效率来实现规范”。
展开▼
