📄️ Process Algebra
An introduction to process algebra for modeling concurrent systems, including syntax, operational semantics, parallel processes, and practical examples like Milner's Scheduler.
Formal Models
A collection of topics and resources related to Formal Models, exploring their principles and applications. After talking with a senior dev about this, he told me that formal models are really important for Hardware design.