A fluid analysis framework for a Markovian process algebra

Title:	A fluid analysis framework for a Markovian process algebra
Authors:	Hayden, RA Bradley, JT
Item Type:	Journal Article
Issue Date:	17-May-2010
Citation:	THEOR COMPUT SCI Vol.( 411 ) No.( 22-24 ) pp 2260 - 2297
URI:	http://hdl.handle.net/10044/1/5785
Publisher Link:	http://dx.doi.org/10.1016/j.tcs.2010.02.001
DOI:	10.1016/j.tcs.2010.02.001
ISSN:	0304-3975
Publisher:	ELSEVIER SCIENCE BV
Start Page:	2260
End Page:	2297
Copyright Statement:	© 2010 Elsevier B.V. All rights reserved. NOTICE: this is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in THEORETICAL COMPUTER SCIENCE, VOL:411, ISSUE:22-24, (2010) DOI: 10.1016/j.tcs.2010.02.001
Volume:	411
Appears in Collections:	Computing High Performance Informatics