Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019.
Published in: CS&P (2020)
Keyphrases
- programming language
- concurrent programming
- reactive systems
- high level
- specification language
- international conference
- concurrency control
- code generation
- years ago
- formal specification
- transaction processing
- object oriented programming
- programming environment
- data sets
- programming course
- data flow
- general purpose
- data mining