PASTA Workshop 2005

The PASTA workshop, 2005

PASTA 2005 Workshop Proceedings

Workshop proceedings
		Continuous-time and continuous-space process algebras		Stephen Gilmore
		( presentation )

		Modelling of packet loss in an asynchronous packet switch using PEPA		Wim Vanderbauwhede
		( presentation )

		Process algebra models of a Circadian clock		Jeremy Bradley and
		( presentation )		Thomas Thorne

		Modelling BitTorrent with PEPA		Adam Duguid
		( presentation )

		Proving probabilistic properties of gossip protocols for systems with an arbitrary number of processes		Douglas Graham
		( presentation )

		Probabilistic model checking for games of imperfect information		P. Ballarini, M. Fisher
		( presentation )		and M.J. Wooldridge

		PEPA models of Internet worm attacks		Jeremy Bradley, Jane Hillston
		( presentation )		and Stephen Gilmore

		Density dependent transmission from process algebra models of disease spread		Chris McCaig, Rachel Norman
		( presentation )		and Carron Shankland

		From Interaction Overview Diagrams to PEPA Nets		Leïla Kloul and
		( presentation first part and second part )		Juliana Küster-Filipe

		Fitting general distributions within PEPA terms		Nil Geisweiller

		Modelling job allocation where service duration is unknown		Nigel Thomas
		( presentation PowerPoint or PDF )

		PEPA queues		Ashok Argent-Katwala
		( presentation )

		GRAIL : Grid-enabled performance analysis using stochastic logics		Tamas Suto
		( presentation )

Key Information 2005

Paper deadline: 1st Sept
Workshop dates: 7-8th Sept

Workshop dinner: Pancho Villa's, Canongate, 7th Sept at 8:00

More Information