Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (Paperback, 2023)

Natural Language Processing for Requirements Formalization: How to Derive New Approaches?.- Left Recursion by Recursive Ascent.- An Example of Computation in Interactive Granular Computing.- Extended Future in Testing Semantics for Time Petri Nets.- Toward Recommender Systems Scalability and Efficacy.