Skip to main content
SpringerLink
Log in
Book cover

Concurrency, Specification and Programming

Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

  • Book
  • © 2023

Overview

Editors:
  1. Bernd-Holger Schlingloff

    1. Institut für Informatik, Humboldt Universität zu Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Vogel

    1. Department of Computer Science, Humboldt-Universität zu Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrzej Skowron

    1. System Research Institute, Polish Academy of Sciences, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Presents recent research on Concurrency, Specification, and Programming
  • Covers Revised Selected Papers from the 29th International Workshop on Concurrency
  • Written by experts in the field

Part of the book series: Studies in Computational Intelligence (SCI, volume 1091)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 139.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Natural Language Processing for Requirements Formalization: How to Derive New Approaches?

    • Viju Sudhi, Libin Kutty, Robin Gröpler
    Pages 1-27

  3. Left Recursion by Recursive Ascent

    • Roman R. Redziejowski
    Pages 29-46

  4. An Example of Computation in Interactive Granular Computing

    • Soma Dutta
    Pages 47-63

  5. Extended Future in Testing Semantics for Time Petri Nets

    • Elena Bozhenkova, Irina Virbitskaite
    Pages 65-89

  6. Toward Recommender Systems Scalability and Efficacy

    • Eyad Kannout, Marek Grzegorowski, Hung Son Nguyen
    Pages 91-121

  7. Security Enforcing

    • Damas P. Gruska
    Pages 123-143

  8. Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid Beehive

    • Heinrich Mellmann, Volha Taliaronak, Verena V. Hafner
    Pages 145-173

  9. A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel

    • Agnieszka Boruta, Pawel Gburzynski, Ewa Kuznicka
    Pages 175-201

  10. Graph-Based Sparse Neural Networks for Traffic Signal Optimization

    • Łukasz Skowronek, Paweł Gora, Marcin Możejko, Arkadiusz Klemenko
    Pages 203-227

  11. Back Matter

    Pages 229-231
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Institut für Informatik, Humboldt Universität zu Berlin, Berlin, Germany

    Bernd-Holger Schlingloff

  • Department of Computer Science, Humboldt-Universität zu Berlin, Berlin, Germany

    Thomas Vogel

  • System Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Andrzej Skowron

Bibliographic Information

  • Book Title: Concurrency, Specification and Programming

  • Book Subtitle: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

  • Editors: Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

  • Series Title: Studies in Computational Intelligence

  • DOI: https://doi.org/10.1007/978-3-031-26651-5

  • Publisher: Springer Cham

  • eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Hardcover ISBN: 978-3-031-26650-8Published: 05 May 2023

  • Softcover ISBN: 978-3-031-26653-9Due: 05 June 2023

  • eBook ISBN: 978-3-031-26651-5Published: 04 May 2023

  • Series ISSN: 1860-949X

  • Series E-ISSN: 1860-9503

  • Edition Number: 1

  • Number of Pages: XII, 231

  • Number of Illustrations: 29 b/w illustrations, 37 illustrations in colour

  • Topics: Computational Intelligence, Data Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation