Stochastic Process Algebras
暂无分享,去创建一个
Allan Clark | Stephen Gilmore | Jane Hillston | Mirco Tribastone | S. Gilmore | J. Hillston | M. Tribastone | Allan Clark
[1] Fabrice Valois,et al. Performance modelling of hierarchical cellular networks using PEPA , 2002, Performance evaluation (Print).
[2] Mario Bravetti,et al. The theory of interactive generalized semi-Markov processes , 2002, Theor. Comput. Sci..
[3] Stephen Gilmore,et al. Performance Evaluation for Global Computation , 2003, Global Computing.
[4] Holger Hermanns,et al. Compositional Performance Modelling with TIPPtool , 1998, Computer Performance Evaluation.
[5] Jane Hillston,et al. Performance investigation of an on‐line auction system , 2001, Concurr. Comput. Pract. Exp..
[6] Flemming Nielson,et al. Securing Statically-verified Communications Protocols Against Timing Attacks , 2005, PASM.
[7] Stephen Gilmore,et al. Extracting passage times from PEPA models with the HYDRA tool: a case study , 2003 .
[8] Stephen Gilmore,et al. Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler , 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..
[9] Scott A. Smolka,et al. Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes , 1990, CONCUR.
[10] Adam Wolisz,et al. An integrated approach to the design of communication protocols , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.
[11] Robert Holton,et al. A PEPA Specification of an Industrial Production Cell , 1995, Comput. J..
[12] Stephen Gilmore,et al. An Efficient Algorithm for Aggregating PEPA Models , 2001, IEEE Trans. Software Eng..
[13] Adam Duguid. Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion , 2006, FORMATS.
[14] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[15] Stephen Gilmore,et al. Software performance modelling using PEPA nets , 2004, WOSP '04.
[16] Holger Hermanns,et al. Interactive Markov Chains , 2002, Lecture Notes in Computer Science.
[17] Stephen Gilmore,et al. Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System , 2006, WS-FM.
[18] Norbert Götz,et al. Stochastische Prozessalgebren: Integration von funktionalem Entwurf und Leistungsbewertung Verteilter Systeme , 1994 .
[19] Roberto Gorrieri,et al. MPA: a Stochastic Process Algebra , 1994 .
[20] Corrado Priami,et al. Global Computing. Programming Environments, Languages, Security, and Analysis of Systems , 2003, Lecture Notes in Computer Science.
[21] Jeremy T. Bradley,et al. Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models , 2004, WOSP '04.
[22] Rance Cleaveland,et al. The NCSU Concurrency Workbench , 1996, CAV.
[23] Holger Hermanns,et al. Compositional performance modelling with the TIPPtool , 2000, Perform. Evaluation.
[24] Hans A. Hansson. Time and probability in formal design of distributed systems , 1991, DoCS.
[25] Michael Rettelbach. Probabilistic Branching in Markovian Process Algebras , 1995, Comput. J..
[26] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[27] Luca Console,et al. Diagnosis and Diagnosability Analysis Using PEPA , 2000, ECAI.
[28] Stephen Gilmore,et al. A unified tool for performance modelling and prediction , 2003, Reliab. Eng. Syst. Saf..
[29] J. Hillston. The nature of synchronisation , 1994 .
[30] Adam Wolisz,et al. Visualization and performance analysis of formally specified communication protocols , 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.
[31] Jane Hillston,et al. Towards a Feasible Active Networking Scenario , 2004, Telecommun. Syst..
[32] Adam Wolisz,et al. A unified approach to formal specification of communication protocols and analysis of their performance , 1993 .
[33] Roberto Gorrieri,et al. Describing Queueing Systems with MPA , 1994 .
[34] R. Lathe. Phd by thesis , 1988, Nature.
[35] Faron Moller,et al. A Temporal Calculus of Communicating Systems , 1990, CONCUR.
[36] Diego Latella,et al. Performance analysis and true concurrency semantics , 1994 .
[37] Stephen Gilmore,et al. Specifications in stochastic process algebra for a robot control problem , 1996 .
[38] Yechiam Yemini,et al. Algebraic Specification-Based Performance Analysis of Communication Protocols , 1984, PSTV.
[39] William H. Sanders,et al. Implementing a Stochastic Process Algebra within the Möbius Modeling Framework , 2001, PAPM-PROBMIV.
[40] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, CAV.
[41] M. Siegle,et al. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains , 1999 .
[42] Alan Bain. Stochastic Calculus , 2007 .
[43] Stephen Gilmore,et al. Exploiting Modal Logic to Express Performance Measures , 2000, Computer Performance Evaluation / TOOLS.
[44] Fabrice Valois,et al. Stochastic Behavior Study of Backoff Algorithms in Case of Hidden Terminals , 2006, 2006 IEEE 17th International Symposium on Personal, Indoor and Mobile Radio Communications.
[45] M. Howard Williams,et al. Verifying a Performance Estimator for Parallel DBMSs , 1998, Euro-Par.
[46] Dexter Kozen,et al. Results on the Propositional µ-Calculus , 1982, ICALP.
[47] Ulrich Herzog,et al. Formal Description, Time and Performance Analysis. A Framework , 1990, Entwurf und Betrieb verteilter Systeme.
[48] Radu Mateescu,et al. An overview of CADP 2001 , 2001 .
[49] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[50] Vincenza Carchiolo,et al. A Tool for the Performance Analysis of Concurrent Systems , 1988, Specification and Verification of Concurrent Systems.
[51] Nigel Thomas. Using Markovian Process Algebra to Specify Interactions in Queueing Systems , 1997 .
[52] Stephen Gilmore,et al. Towards Reliable Modelling with Stochastic Process Algebras , 2009 .
[53] J. Zic,et al. Extensions to communicating sequential processes to allow protocol performance specification , 1987, SIGCOMM '87.
[54] Holger Hermanns,et al. Markovian Processes Go Algebra , 1994 .
[55] Roberto Gorrieri,et al. Operational GSPN Semantics of MPA , 1994 .
[56] Joost-Pieter Katoen,et al. MoDeST - A Modelling and Description Language for Stochastic Timed Systems , 2001, PAPM-PROBMIV.
[57] Holger Hermanns,et al. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..
[58] Fabrice Valois,et al. Performance evaluation of backoff algorithms in 802.11 ad-hoc networks , 2006, PE-WASUN '06.
[59] Holger Hermanns,et al. A Stochastic Process Algebra Based Modelling Tool , 1996 .
[60] Howard Bowman,et al. Analysis of a Multimedia Stream using Stochastic Process Algebra , 2001, Comput. J..
[61] G. Harrison,et al. Process Algebra for Discrete Event SimulationP , 1993 .
[62] M. Bravetti,et al. From EMPA to GSMPA : Allowing for General DistributionsMario Bravetti , 2007 .
[63] Jean-Michel Fourneau,et al. A Precedence PEPA Model for Performance and Reliability Analysis , 2006, EPEW.
[64] Claudia Picardi,et al. Diagnosis and diagnosability analysis using Process , 2000 .
[65] William J. Knottenbelt,et al. Generalised Markovian analysis of timed transition systems , 1996 .
[66] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[67] Frank Budinsky,et al. Eclipse Modeling Framework , 2003 .
[68] Holger Hermanns,et al. Stochastic process algebras: integrating qualitative and quantitative modelling , 1994, FORTE.
[69] A. Karimi,et al. Master‟s thesis , 2011 .
[70] G. Birtwistle,et al. CHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCS , 2007 .
[71] Stephen Gilmore,et al. Proceedings of the Sixteenth UK Performance Engineering Workshop , 2000 .
[72] H. Hermanns,et al. Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .
[73] Vassilis Mertsiotakis,et al. Approximate analysis methods for stochastic process algebras , 1998 .
[74] William J. Stewart,et al. Introduction to the numerical solution of Markov Chains , 1994 .
[75] Roberto Gorrieri,et al. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time , 1998, Theor. Comput. Sci..
[76] William H. Sanders,et al. The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.
[77] Isabelle Guérin Lassous,et al. Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks , 2006 .
[78] William H. Sanders,et al. On integrating the MOBIUS and MODEST modeling tools , 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
[79] Norbert Götz,et al. TIPP - Introduction and Application to Protocol Performance Analysis , 1992, FBT.
[80] Jane Hillston,et al. Fluid flow approximation of PEPA models , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).