Swarm Intell:201–228 DOIs11721On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics Mieke Massink · Manuele Brambilla · Diego Latella · - PEPA - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-08-28 09:55:04 Aquatic ecology Fisheries Swarm behaviour Robot Swarm robotics PEPA Time Behavior Zoology Biology		Swarm Intell:201–228 DOIs11721On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics Mieke Massink · Manuele Brambilla · Diego Latella · Add to Reading List Source URL: code.ulb.ac.be Download Document from Source Website File Size: 1,44 MB Share Document on Facebook

	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muﬀy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1 DocID: 1xTb0 - View Document
	The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010 DocID: 1uYwd - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA Models DocID: 1uMbe - View Document
	Finding the rates inside a PEPA model with EMPEPA Finding the rates inside a PEPA model with EMPEPA Nil Geisweiller PEPA Club DocID: 1urRC - View Document
	Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh, DocID: 1umdS - View Document