ePrints

Behavioural independence and control in PEPA

Lookup NU author(s): Dr Nigel Thomas

Downloads

• Accepted version [.pdf]

Publication metadata

Author(s): Thomas N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: First Workshop on Process Algebra with Stochastic Timed Activities (PASTA)

Year of Conference: 2002

Date deposited: 15/08/2014

URL: http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/2002/proceedings/

Share