12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Specifying and analysing multimedia systems
View graph of relations

« Back

Specifying and analysing multimedia systems

Research output: Contribution in Book/Report/ProceedingsChapter

Published

Publication date2001
Host publicationFormal methods for distributed processing : a survey of object-oriented approaches
EditorsHoward Bowman, John Derrick
Place of publicationCambridge
PublisherCambridge University Press
Pages373-399
Number of pages27
ISBN (Print)9780521771849
Original languageEnglish