Author of the publication

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations.

, , and . COORDINATION, volume 9686 of Lecture Notes in Computer Science, page 101-120. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automata for Context-Dependent Connectors., , and . COORDINATION, volume 5521 of Lecture Notes in Computer Science, page 184-203. Springer, (2009)A Basic Logic for Reasoning about Connector Reconfiguration.. Fundam. Informaticae, 82 (4): 361-390 (2008)Feature Nets: behavioural modelling of software product lines., , and . Softw. Syst. Model., 15 (4): 1181-1206 (2016)Feature Petri Nets., , and . SPLC Workshops, page 99-106. Lancaster University, (2010)HATS - A Formal Software Product Line Engineering Methodology., , , , , , and . SPLC Workshops, page 121-128. Lancaster University, (2010)Modelling Coordination in Biological Systems., , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 9-25. Springer, (2004)UUXML: A Type-Preserving XML Schema-Haskell Data Binding., , and . PADL, volume 3057 of Lecture Notes in Computer Science, page 71-85. Springer, (2004)Dependency-style generic Haskell., , and . ICFP, page 141-152. ACM, (2003)ESD event simulation automation using automatic extraction of the relevant portion of a full chip., , , and . ISQED, page 414-418. IEEE Computer Society, (2009)Towards a Theory of Views for Feature Models., and . SPLC Workshops, page 91-98. Lancaster University, (2010)