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