Formalization of proof system for ABS in the Lean theorem prover
-
Updated
Dec 9, 2019 - Lean
#
concurrent-objects
Here are 2 public repositories matching this topic...
The course covers the core concepts, models, paradigms and techniques for concurrent programming. This forms the basis for operating systems, distributed systems and multiprocessor systems, including multicore systems. The course studies foundations and principles of concurrent programming.
processes threads monitors paradigms mutual-exclusion semaphores concurrent-objects concurrent-programs concurrent-utilities multiprocessor-systems multicore-systems condition-synchronization
-
Updated
Mar 10, 2023 - TeX
Improve this page
Add a description, image, and links to the concurrent-objects topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the concurrent-objects topic, visit your repo's landing page and select "manage topics."