U. Herzog. Formal description, time and performance analysis: a framework. In T. Harder, H. Wedekind and G. Zimmermann, eds, Entwurf und Betrieb Verteilter Systeme, Informatik Fach-Berichte 264, Springer, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Automatic Derivation of Performance Measures from PEPA.. - Graham Clark (1996) (2 citations) (Correct)
....of Computer Science, The University of Edinburgh, Kings Buildings, Edinburgh, EH9 3JZ. Email: fgcla, jehg dcs.ed. ac.uk This contrast has been one of the motivations behind the recent development of stochastic process algebras (SPA) which integrate performance analysis with functional analysis [Her90, GHR93, Hil94]. These languages are process algebras which are enhanced with information about duration of activities and, via a race policy, their relative probabilities. As mentioned above, classical process algebras are complemented by modal logics, which formally express properties of a system in terms of ....
U. Herzog. Formal Description, Time and Performance Analysis: A Framework. Technical Report 15/90, IMMD VII, FriedrichAlexander -Universitat, Erlangen-Nurnberg, Germany, September 1990.
Process Algebra for Performance Evaluation - Hermanns, Herzog, Katoen (2000) (10 citations) Self-citation (Herzog) (Correct)
....define process algebras where actions may be delayed by time periods of a stochastic nature goes back to the work of Nounou and Yemini [83,84] They proposed to delay actions by means of exponential distributions, but did not provide a formal semantics of their ideas. In the early nineties, Herzog [58] proposed a predecessor of the stochastic process algebra TIPP (TImed Processes and Performance analysis) an extension of CSP, which was subsequently thoroughly defined in [39,38,54] For an overview of TIPP we refer to [50] Independently of this work, Hillston extended a CSP like language with ....
U. Herzog. Formal description, time and performance analysis: a framework. In T. Harder, H. Wedekind and G. Zimmermann, eds, Entwurf und Betrieb Verteilter Systeme, Informatik Fach-Berichte 264, Springer, 1990.
Multiprocessor and Distributed System Design: The.. - Götz, Herzog, Rettelbach (1993) (79 citations) Self-citation (Herzog) (Correct)
....again, assures efficient system design. The need for combined specification methods was already recognized in the seventies. The most successful examples are Stochastic Petri Nets (SPN) ABC86] and Stochastic Graph Models [ST87, Sot90] We propose and recommend Stochastic Process Algebras [Her90a, Her90b, Ret91, GHR92, Hil93, SH93] mainly for two important reasons: ffl Languages are the principal means of designing hardware and software components: Process algebras are abstract languages tailored to the description of parallel and distributed systems; they are well founded, allow a detailed ....
.... To the best of our knowledge only two attempts have been made in the past in this direction [NY85, Zic87] However, the fascinating properties of process algebras are attracting more people now [Hil93, SH93] In the following sections we report on our research and experiences during the past [Her90b, Ret91, GHR92, GHR93] as well as on ongoing activities. 3.2 Stochastic Process Algebras The Concept The basic ideas of our concept are summarized in figure 3. We strictly follow the concept of classical process algebras describing the system behaviour by an abstract language (system description) ....
Ulrich Herzog. Formal description, time and performance analysis --- a framework. In Entwurf und Betrieb verteilter Systeme. Springer, 1990. Informatik Fachberichte 264.
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