The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
More than a decade ago, Moller and Tofts published their seminal work on relating processes, which are annotated with lower time bounds, with respect to speed. Their paper has left open many questions regarding the semantic theory for the suggested bisimulation-based faster-than preorder, the MT-preorder, which have not been addressed since. The encountered difficulties concern a general compositionality result, a complete axiom system for finite processes, a convincing intuitive justification of...
More than a decade ago, Moller and Tofts published their seminal
work on relating processes, which are annotated with lower time
bounds, with respect to speed. Their paper has left open many
questions regarding the semantic theory for the suggested
bisimulation-based faster-than preorder, the MT-preorder, which
have not been addressed since. The encountered difficulties concern
a general compositionality result, a complete axiom system for
finite processes, a convincing intuitive justification...
Download Results (CSV)