Efficiency of Asynchronous Systems That Communicate Asynchronously
Walter Vogler · Lecture notes in computer science · 2000
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. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.