Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems-Reference-Cited by-同舟云学术

Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems

Published:1998 Issue: Volume: Page:457-467
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

Bernardo M.,Cleaveland W. R.,Sims S. T.,Stewart W. J.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35394-4_28

Reference23 articles.

1. Bernardo, M. (1997) An Algebra-Based Method to Associate Rewards with EMPA Terms, in Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP ‘87). Lecture Notes in Computer Science, 1256, 358368.

2. Bernardo, M. (1998) Formal Specification of Performance Measures for Process Algebra Models of Concurrent Systems. Technical Report UBLCS-98–08, University of Bologna (Italy).

3. Bernardo, M., Donatiello, L. and Gorrieri, R. (1994) Integrated Analysis of Concurrent Distributed Systems using Markovian Process Algebra, in Proc. of the 7th Int. Conf on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE ‘84). Chapman & Hall, 455–457.

4. Bernardo, M., Donatiello, L. and Gorrieri, R. (1998) A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems, to appear in Information and Computation.

5. Bernardo, M. and Gorrieri, R. (1998) A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time, Theoretical Computer Science, 202, 1–54.

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

2. Performance analysis of probabilistic action systems;Formal Aspects of Computing;2004-11

3. An integrated framework for the performance analysis of asynchronous communicating stochastic processes;Formal Aspects of Computing;2004-08

4. Performance measure sensitive congruences for Markovian process algebras;Theoretical Computer Science;2003-01

5. A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism;Global Computing. Programming Environments, Languages, Security, and Analysis of Systems;2003