@inproceedings(BoudolP-relaxed,
 author       = {G{\'{e}}rard Boudol and Gustavo Petri},
 year         = {2009},
 title        = {Relaxed memory models: an operational approach},
 booktitle    = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2009, Savannah, GA, USA, January 21-23, 2009},
 pages        = {392--403},
 doi          = {10.1145/1480881.1480930},
)
@inproceedings(JoshiP-caches,
 author       = {Salil Joshi and Sanjiva Prasad},
 year         = {2010},
 title        = {An Operational Model for Multiprocessors with Caches},
 booktitle    = {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},
 pages        = {371--385},
 doi          = {10.1007/978-3-642-15240-5},
)
@inproceedings(KiehnA-amortized,
 author       = {Astrid Kiehn and Arun{-}Kumar, S.},
 year         = {2005},
 title        = {Amortised Bisimulations},
 booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings},
 pages        = {320--334},
 doi          = {10.1007/11562436\_24},
)
@inproceedings(Krishnan-multi,
 author       = {Padmanabhan Krishnan},
 year         = {1992},
 title        = {A Semantics for Multiprocessor Systems},
 booktitle    = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings},
 pages        = {307--320},
 doi          = {10.1007/3-540-55253-7\_18},
)
@article(Krishnan-archCCS,
 author       = {Padmanabhan Krishnan},
 year         = {1996},
 title        = {Architectural {CCS}},
 journal      = {Formal Asp. Comput.},
 volume       = {8},
 number       = {2},
 pages        = {162--187},
 doi          = {10.1007/BF01214555},
)
@article(Lamport79,
 author       = {L. Lamport},
 year         = {1979},
 title        = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs},
 journal      = {IEEE Trans. Comput.},
 volume       = {28},
 number       = {9},
 pages        = {690--691},
 doi          = {10.1109/TC.1979.1675439},
)
@inproceedings(PalPP-ISPA12,
 author       = {Rajesh Kumar Pal and Kolin Paul and Sanjiva Prasad},
 year         = {2012},
 title        = {ReKonf: {A} Reconfigurable Adaptive ManyCore Architecture},
 booktitle    = {10th {IEEE} International Symposium on Parallel and Distributed Processing with Applications, {ISPA} 2012, Leganes, Madrid, Spain, July 10-13, 2012},
 pages        = {182--191},
 doi          = {10.1109/ISPA.2012.32},
)
@article(PalPP-JPDC14,
 author       = {Rajesh Kumar Pal and Kolin Paul and Sanjiva Prasad},
 year         = {2014},
 title        = {ReKonf: Dynamically reconfigurable multiCore architecture},
 journal      = {J. Parallel Distrib. Comput.},
 volume       = {74},
 number       = {11},
 pages        = {3071--3086},
 doi          = {10.1016/j.jpdc.2014.05.007},
)
@inproceedings(Pratt84,
 author       = {Vaughan R. Pratt},
 year         = {1984},
 title        = {The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial},
 booktitle    = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984},
 pages        = {180--196},
 doi          = {10.1007/3-540-15670-4\_9},
)