A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London

First Page		Document Content
Theoretical computer science Cognitive science Logic in computer science Computing Actor model Concurrent computing Consistency model Semantics Memory Stable model semantics		A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London Add to Reading List Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 958,59 KB Share Document on Facebook

	Unemployment, Conflicts and Partnership Stability: An Application of an Actor-Partner Interdependence Model (First Results) Bernd Weißa, Katharina Lotera,b & Michael Wagnera aInstitute DocID: 1s8DQ - View Document
	BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth DocID: 1ru6U - View Document
	Modular Flexible Models for Operating Systems Ike Antkaretoo International Institute of Technology United Slates of Earth DocID: 1rsRD - View Document
	The Influence of Compact Epistemologies on Cyberinformatics Ike Antkare International Institute of Technology United Slates of Earth DocID: 1rsvX - View Document
	PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by: Concurrency – Education DocID: 1rqUv - View Document