Concurrency, Specification and Programming

Concurrency, Specification and Programming
Author :
Publisher : Springer Nature
Total Pages : 234
Release :
ISBN-10 : 9783031266515
ISBN-13 : 303126651X
Rating : 4/5 (51X Downloads)

Book Synopsis Concurrency, Specification and Programming by : Bernd-Holger Schlingloff

Download or read book Concurrency, Specification and Programming written by Bernd-Holger Schlingloff and published by Springer Nature. This book was released on 2023-05-04 with total page 234 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Concurrency, Specification and Programming Related Books

Concurrency, Specification and Programming
Language: en
Pages: 234
Authors: Bernd-Holger Schlingloff
Categories: Technology & Engineering
Type: BOOK - Published: 2023-05-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and program
Concurrent Programming on Windows
Language: en
Pages: 958
Authors: Joe Duffy
Categories: Computers
Type: BOOK - Published: 2009 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This practical book includes a tutorial of the entire set of Windows and .NET APIs required to write concurrent programs. Because so much of the threading and s
On Concurrent Programming
Language: en
Pages: 482
Authors: Fred B. Schneider
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent
Specification and Analysis of Concurrent Systems
Language: en
Pages: 487
Authors: Ryszard Janicki
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notat
Concurrent Programming: Algorithms, Principles, and Foundations
Language: en
Pages: 530
Authors: Michel Raynal
Categories: Computers
Type: BOOK - Published: 2012-12-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entit