Gérard Boudol & Gustavo Petri (2009):
Relaxed memory models: an operational approach.
In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009,
pp. 392–403,
doi:10.1145/1480881.1480930.
Salil Joshi & Sanjiva Prasad (2010):
An Operational Model for Multiprocessors with Caches.
In: Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings,
pp. 371–385,
doi:10.1007/978-3-642-15240-5.
Astrid Kiehn & S. Arun-Kumar (2005):
Amortised Bisimulations.
In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings,
pp. 320–334,
doi:10.1007/11562436_24.
Padmanabhan Krishnan (1992):
A Semantics for Multiprocessor Systems.
In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings,
pp. 307–320,
doi:10.1007/3-540-55253-7_18.
L. Lamport (1979):
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs.
IEEE Trans. Comput. 28(9),
pp. 690–691,
doi:10.1109/TC.1979.1675439.
Rajesh Kumar Pal, Kolin Paul & Sanjiva Prasad (2012):
ReKonf: A Reconfigurable Adaptive ManyCore Architecture.
In: 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012, Leganes, Madrid, Spain, July 10-13, 2012,
pp. 182–191,
doi:10.1109/ISPA.2012.32.
Rajesh Kumar Pal, Kolin Paul & Sanjiva Prasad (2014):
ReKonf: Dynamically reconfigurable multiCore architecture.
J. Parallel Distrib. Comput. 74(11),
pp. 3071–3086,
doi:10.1016/j.jpdc.2014.05.007.
Vaughan R. Pratt (1984):
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial.
In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984,
pp. 180–196,
doi:10.1007/3-540-15670-4_9.