Amalgamation of Transition Sequences in the PEPA Formalism. - Jane Hillston; J. Tomasik (ICALP Satellite Workshops, 2000)