Huu Trung Do. Entwurf von Prozeßsprachen zur Leistungsbewertung. Master's thesis, Universit at Erlangen--Nurnberg, IMMD VII, Juli 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Stochastic Process Algebras Applied to Failure Modelling - Herzog, Mertsiotakis (1994) (6 citations) (Correct)
....advantage of the process algebra approach, namely compositionality, seems to disappear. However, it should be mentioned that the algebraic theory behind process algebras like TIPP allows the replacement of components of one process by equivalent ones without changing the behaviour of the model [11, 20]. Moreover, the existence of a sound axiomatization allows this step to be carried out automatically [21] In Hillston s thesis this was demonstrated by an example similar to this. Additionally, the relationship to the concept of lumpability was examined [22] 4.3 Model Evaluation Two ....
Huu Trung Do. Entwurf von Prozeßsprachen zur Leistungsbewertung. Master's thesis, Universit at Erlangen--Nurnberg, IMMD VII, Juli 1993.
Multiprocessor and Distributed System Design: The.. - Götz, Herzog, Rettelbach (1993) (79 citations) (Correct)
....much desirable. Abstraction mechanisms, like the hiding operator, must be extended to include also the temporal behaviour; this could yield an approach to treat the problem of hierarchical modelling. Our work is going on in three main directions: We are investigating the theoretical foundations ( Do93] Her93] we are searching for efficient evaluation algorithms, and, last not least, modelling the behaviour of real systems has a strong influence on the first two directions. ....
Hu Trung Do. Entwurf von Prozeßsprachen zur Leistungsbewertung. Diplomarbeit, Universitat Erlangen, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC