@Article{kavanagh_brookes_2018:_denot_seman_sparc_tso,
  author =	 {Kavanagh, Ryan and Brookes, Stephen},
  title =	 {A Denotational Semantics for {SPARC} {TSO}},
  volume =	 336,
  pages =	 {223-239},
  doi =		 {10.1016/j.entcs.2018.03.025},
  abstract =	 {The SPARC TSO weak memory model is defined
		  axiomatically, with a non-compositional formulation
		  that makes modular reasoning about programs
		  difficult. Our denotational approach uses pomsets to
		  provide a compositional semantics capturing exactly
		  the behaviours permitted by SPARC TSO. Our approach
		  facilitates the study of SPARC TSO and supports
		  modular analysis of program behaviour.},
  date =	 {2018-04-16},
  issn =	 {1571-0661},
  issuetitle =	 {The Thirty-third Conference on the Mathematical
		  Foundations of Programming Semantics (MFPS XXXIII)},
  journaltitle = {Electronic Notes in Theoretical Computer Science},
  keywords =	 {SPARC TSO, denotational semantics, pomsets,
		  concurrency, weak memory models},
}