Efficiency of Asynchronous Systems That Communicate Asynchronously

published 1999 in: Augsburg, Germany Technical Report, Institute of Computer Science, University of Augsburg, 1999

A parallel composition is introduced that combines nets (regarded as system components) by merging so-called interface places; the novel feature is a flexible typing of these places, which formulates assumptions a component makes about its environment. Based on a testing scenario, a faster-than relation is defined and shown to support modular construction, since it is a precongruence for parallel composition, hiding and renaming. The faster-than relation is characterized without reference to tests, and this characterization is used to compare the temporal efficiency of some examples.

Downloads:

• Efficiency of Asynchronous Systems That Communicate Asynchronously  -  (1999-6_ps.ps, 510 KB)