@article{1467803,
      recid = {1467803},
      author = {Schlingloff, Bernd-Holger. and Vogel, Thomas. and Skowron,  Andrzej.},
      title = {Concurrency, specification and programming : revised  selected papers from the 29th International Workshop on  Concurrency, Specification and Programming (CS&P'21),  Berlin, Germany /. International Workshop Concurrency,  Specification, and Programming},
      publisher = {Springer,},
      address = {Cham, Switzerland :},
      pages = {1 online resource},
      year = {2023},
      note = {Includes index.},
      abstract = {This book presents novel approaches to the formal  specification of concurrent and parallel systems,  mathematical models for describing such systems, and  programming and verification concepts for their  implementation. A special emphasis is on methods based on  artificial intelligence and machine learning techniques.  Chapters are revised selected papers from the 29th  International Workshop on Concurrency, Specification, and  Programming (CS&P 2021), Berlin, Germany. Nine independent  chapters cover formal approaches to topics such as  requirements formalization, parsing, or granular computing,  as well as their applications in recommender systems,  decision making, security, optimization, and other areas.  The book thus addresses both researchers and practitioners  in its field.},
      url = {http://library.usi.edu/record/1467803},
      doi = {https://doi.org/10.1007/978-3-031-26651-5},
}