@(mcrl2:2016url,
 title        = {{mCRL2: Analysing System Behaviour}},
 url          = {http://www.mcrl2.org},
)
@(mpj:2016url,
 title        = {{MPJ Express}},
 url          = {http://mpj-express.org},
)
@incollection(amighi:2014verification,
 author       = {A.~{Amighi} and S.~{Blom} and S.~{Darabi} and M.~{Huisman} and W.~{Mostowski} and M.~{Zaharieva-Stojanovski}},
 year         = {2014},
 title        = {{Verification of Concurrent Systems with VerCors}},
 booktitle    = {SFM: Executable Software Models},
 series       = {LNCS, vol. 8483},
 publisher    = {Springer, Heidelberg},
 pages        = {172--216},
 doi          = {10.1007/978-3-319-07317-0\_5},
)
@article(apt:1986limits,
 author       = {K.R. Apt and D.C. Kozen},
 year         = {1986},
 title        = {{Limits for Automatic Verification of Finite-State Concurrent Systems}},
 journal      = {Information Processing Letters},
 volume       = {22},
 number       = {6},
 pages        = {307--309},
 doi          = {10.1016/0020-0190(86)90071-2},
)
@incollection(blom:2014vercors,
 author       = {S.~{Blom} and M.~{Huisman}},
 year         = {2014},
 title        = {{The VerCors Tool for verification of concurrent programs}},
 booktitle    = {FM 2014: Formal Methods},
 series       = {LNCS, vol. 8442},
 publisher    = {Springer, Heidelberg},
 pages        = {127--131},
 doi          = {10.1007/978-3-319-06410-9\_9},
)
@book(groote:2014modeling,
 author       = {J.F. {Groote} and M.R. {Mousavi}},
 year         = {2014},
 title        = {{Modeling and Analysis of Communicating Systems}},
 publisher    = {MIT Press},
)
@article(halstead:1985multilisp,
 author       = {R.H. Halstead},
 year         = {1985},
 title        = {{Multilisp: A Language for Concurrent Symbolic Computation}},
 journal      = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume       = {7},
 number       = {4},
 pages        = {501--538},
 doi          = {10.1145/4472.4478},
)
@article(hanna2009:behavioral,
 author       = {Y.~Hanna and S.~Basu and Rajan H.},
 year         = {2009},
 title        = {{Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems}},
 pages        = {325--334},
 doi          = {10.1145/1595696.1595758},
)
@incollection(hoare:2008verified,
 author       = {T.~{Hoare} and J.~{Misra}},
 year         = {2008},
 title        = {{Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project}},
 booktitle    = {Verified Software: Theories, Tools, Experiments (VSTTE)},
 series       = {LNCS, vol. 4171},
 publisher    = {Springer, Heidelberg},
 pages        = {1--18},
 doi          = {10.1007/978-3-540-69149-5\_1},
)
@incollection(hoare2008:separation,
 author       = {T.~{Hoare} and P.W. {O'Hearn}},
 year         = {2008},
 title        = {{Separation Logic Semantics for Communicating Processes}},
 booktitle    = {First International Conference on Foundations of Informatics, Computing and Software (FICS)},
 series       = {ENTCS, Sci. 212},
 publisher    = {Elsevier},
 pages        = {3--25},
 doi          = {10.1016/j.entcs.2008.04.050},
)
@incollection(honda:2012verification,
 author       = {K.~{Honda} and E.~{Marques} and F.~{Martins} and N.~{Ng} and V.T. {Vasconcelos} and N.~{Yoshida}},
 year         = {2012},
 title        = {{Verification of MPI Programs using Session Types}},
 booktitle    = {EuroMPI'12},
 series       = {LNCS, vol. 7940},
 publisher    = {Springer},
 pages        = {291--293},
 doi          = {10.1007/978-3-642-33518-1\_37},
)
@article(liskov:1988promises,
 author       = {B.~Liskov and L.~Shrira},
 year         = {1988},
 title        = {{Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems}},
 journal      = {PLDI},
 doi          = {10.1145/960116.54016},
)
@book(milner:1980calculus,
 author       = {R.~{Milner}},
 year         = {1980},
 title        = {{A Calculus of Communicating Systems}},
 series       = {LNCS, vol. 92},
 publisher    = {Springer-Verlag, Berlin, Germany},
 doi          = {10.1007/3-540-10235-3},
)
@article(o:2007resources,
 author       = {P.W. {O'Hearn}},
 year         = {2007},
 title        = {{Resources, concurrency, and local reasoning}},
 journal      = {Theoretical Computer Science},
 volume       = {375},
 number       = {1},
 pages        = {271--307},
 doi          = {10.1016/j.tcs.2006.12.035},
)
@inproceedings(vo:2009formal,
 author       = {A.~{Vo} and S.~{Vakkalanka} and M.~{DeLisi} and G.~{Gopalakrishnan} and R.~{Kirby} and R.~{Thakur}},
 year         = {2009},
 title        = {{Formal Verification of Practical MPI Programs}},
 booktitle    = {PPOPP},
 volume       = {vol. 44},
 publisher    = {ACM, New York},
 pages        = {261--270},
 doi          = {10.1145/1594835.1504214},
)
@incollection(zaharieva:2015closer,
 author       = {M.~{Zaharieva-Stojanovski}},
 year         = {2015},
 title        = {{Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs}},
 volume       = {CTIT Ph.D. Thesis Series No. 15-375},
 publisher    = {University of Twente},
 doi          = {10.3990/1.9789036539241},
)