Abstraction as a Unifying Link for Formal Approaches to Concurrency

  1. Lookup NU author(s)
  2. Professor Cliff Jones
Author(s)Jones CB
Editor(s)Eleftherakis, G., Hinchey, M., Holcombe, M.
Publication type Conference Proceedings (inc. Abstract)
Conference NameSoftware Engineering and Formal Methods: 10th International Conference, SEFM 2012
Conference LocationThessaloniki, Greece
Year of Conference2012
Legacy Date1-5 October 2012
Volume7504
Pages1-15
Series TitleLecture Notes in Computer Science
ISBN9783642338250
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer Verlag
URLhttp://dx.doi.org/10.1007/978-3-642-33826-7_1
DOI10.1007/978-3-642-33826-7_1
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item