Process calculus: http://www.usingcsp.com/cspbook.pdf
Theory of process: http://arxiv.org/pdf/1009.2259v1.pdf
Software model checking for people who are interested in automata: https://swt.informatik.uni-freiburg.de/staff/heizmann/2013cav-heizmann-hoenicke-podelski-software-model-checking-for-people-who-love-automata.pdf
https://arise.or.at/pubpdf/Bounded-Interference_Sequentialization_for_Testing_Concurrent_Programs.pdf
http://www.cl.cam.ac.uk/~mjcg/TLMC/
http://www.cl.cam.ac.uk/~mjcg/HL/
http://softwareabstractions.org/
#Time granularity
https://hal.inria.fr/hal-00922282/document
http://www.springer.com/in/book/9783540669975
Towards an Efficient SAT Encoding for Temporal
Reasoning
#Structure peeling
http://hpc.serc.iisc.ernet.in/papers/2009/PACT09-sandya.pdf
http://www.capsl.udel.edu/conferences/open64/2008/Papers/111.pdf
#SAT http://www.cs.sfu.ca/~mitchell/cmpt-827/2015-Fall/Projects/Parallel-Manthey-PhD.pdf
#PhD http://jameshaytonphd.com/everything/ http://jameshaytonphd.com/how-to-choose-a-thesis-topic/ http://jameshaytonphd.com/how-i-wrote-a-phd-thesis-in-3-months/ http://jameshaytonphd.com/how-to-do-a-phd-top-10-tips/ http://jameshaytonphd.com/writing-your-way-to-a-phd/ http://jameshaytonphd.com/the-worst-thesis-writing-advice-ever-part-2/
#English Has good links http://writing-program.uchicago.edu/resources/grammar.htm Basic: http://www.cws.illinois.edu/workshop/writers/ Course: http://papyr.com/hypertextbooks/grammar/syl126.htm Common errors (check links in the end) http://public.wsu.edu/~brians/errors/errors.html English Prof, check book http://public.wsu.edu/~gordonl/ Has good tests http://esl.about.com/ 1000 words http://esl.about.com/library/vocabulary/bl1000_list1.htm Purdue ESL https://owl.english.purdue.edu/owl/section/5/