Holger Schlingloff and Thomas Vogel, eds. Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021). Vol. 2951. CEUR-WS.org. 2021.
The 29th workshop on Concurrency, Specification, and Programming 2021 (CS&P’21) is one of a series of seminars formerly organised every even year by Humboldt University of Berlin and every odd year by Warsaw University. It deals with formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. The workshop has a tradition dating back to the mid-seventies; since 1993 it was named CS&P.
@proceedings{2021-CSP,
title = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS\&P 2021)},
year = {2021},
editor = {Schlingloff, Holger and Vogel, Thomas},
series = {CEUR-WS.org},
volume = {2951},
url = {http://ceur-ws.org/Vol-2951/},
}