PEPA swMATH ID: 10692 Software Authors: Jane Hillston; http://www.dcs.ed.ac.uk/pepa/people/ Description: PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported by the PEPA Eclipse Plug-in project, a contribution to the Eclipse integrated development environment. The PEPA Eclipse Plug-in contains a PEPA editor and performance analysers which use Markov chain or ODE methods or simulation. Performance results are displayed graphically on the platform itself. It also contains an interface for abstracting PEPA models, and for model checking properties in the Continuous Stochastic Logic (CSL). Download the PEPA Eclipse Plug-in from the download site. Homepage: http://www.dcs.ed.ac.uk/pepa/tools/ Related Software: Bio-PEPA; PRISM; BIOCHAM; SPADES; SMART_; HyTech; ipc; Möbius; BlenX; BioNetGen; PEPS; MRMC; CADP; GreatSPN 1.7; GreatSPN; Maude; Uppaal; LBS; BioModels; SIGREF Cited in: 108 Documents Further Publications: http://www.dcs.ed.ac.uk/pepa/papers/ all top 5 Cited by 163 Authors 25 Hillston, Jane 9 Gilmore, Stephen T. 8 Calder, Muffy 6 Bortolussi, Luca 6 Hermanns, Holger 6 Katoen, Joost-Pieter 5 Bradley, Jeremy T. 4 Ciocchetta, Federica 4 Degasperi, Andrea 4 Kloul, Leïla 3 Bernardo, Marco 3 Galpin, Vashti 3 Klink, Daniel 3 Milazzo, Paolo 3 Norman, Rachel 3 Policriti, Alberto 3 Ribaudo, Marina 3 Shankland, Carron 3 Tribastone, Mirco 3 Wolf, Verena 2 Balsamo, Simonetta 2 Benkirane, Soufiene 2 Clark, Graham 2 Degano, Pierpaolo 2 Dei Rossi, Gian-Luca 2 Ding, Jie 2 Hayden, Richard A. 2 Jing, Yaping 2 Kwiatkowska, Marta Z. 2 Ledoux, James 2 Leucker, Martin 2 Maggiolo-Schettini, Andrea 2 Marin, Andrea 2 McCaig, Chris 2 Miner, Andrew S. 2 Norman, Gethin 2 Pardini, Giovanni 2 Priami, Corrado 2 Thomas, Nigel 2 Tschaikowski, Max 1 Abreu Júnior, João Carlos 1 Aldini, Alessandro 1 Andrei, Oana 1 Argent-Katwala, Ashok 1 Aziz, Benjamin 1 Baier, Christel 1 Basuki, Thomas Anung 1 Benoit, Anne 1 Bentea, Lucian 1 Bogárdi-Mészöly, Ágnes 1 Bracciali, Andrea Clark 1 Bravetti, Mario 1 Brodo, Linda 1 Brunelli, Marcello 1 Brushe, Gary D. 1 Buchholtz, Mikael 1 Buchholz, Peter 1 Buti, Federico 1 Cacciagrano, Diletta Romana 1 Cataldo, Enrico 1 Cazorla, Diego 1 Cerone, Antonio 1 Ciobanu, Gabriel 1 Clark, Allan Derek 1 Cole, Murray 1 Colvin, Robert J. 1 Console, Luca 1 Corradini, Flavio 1 Courcoubetis, Costas A. 1 Credi, A. 1 Cuartero, Fernando 1 Dayar, Tugrul 1 De Nicola, Rocco 1 Doherty, Gavin J. 1 Donaldson, Robin A. 1 Donatelli, Susanna 1 Eisentraut, Christian 1 Faconti, G. P. 1 Fahrenberg, Uli 1 Fenton, Andy 1 Fiadeiro, José Luiz 1 Fourneau, Jean-Michel 1 Franceschinis, Giuliana 1 Garavel, Hubert 1 Garavelli, Marco 1 Geisweiller, Nil 1 Giavitto, Jean-Louis 1 Graham, Andrea 1 Gurvits, Leonid 1 Haenel, Valentin 1 Hallerstede, Stefan 1 Harrison, Peter G. 1 Haverkort, Boudewijn R. 1 Heath, J. K. 1 Heath, John R. 1 Herzog, Ulrich 1 Hsu, David Y. 1 Joubert, Christophe 1 Kapus, Tatjana 1 Knottenbelt, William J. ...and 63 more Authors all top 5 Cited in 19 Serials 21 Theoretical Computer Science 3 Formal Aspects of Computing 3 Linear Algebra and its Applications 3 The Journal of Logic and Algebraic Programming 3 Journal of Logical and Algebraic Methods in Programming 2 Artificial Intelligence 1 Acta Informatica 1 Journal of Applied Probability 1 Journal of Computer and System Sciences 1 Performance Evaluation 1 Science of Computer Programming 1 Parallel Computing 1 Information and Computation 1 Journal of Parallel and Distributed Computing 1 Annals of Operations Research 1 Natural Computing 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Distinguished Dissertation in Computer Science 1 Journal of Theoretical Biology all top 5 Cited in 11 Fields 94 Computer science (68-XX) 36 Biology and other natural sciences (92-XX) 13 Probability theory and stochastic processes (60-XX) 4 Mathematical logic and foundations (03-XX) 4 Ordinary differential equations (34-XX) 3 Numerical analysis (65-XX) 3 Systems theory; control (93-XX) 2 Operations research, mathematical programming (90-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Citations by Year