Introduction to Concurrency - FSP and LTS - Part 1
Master Finite State Processes (FSP) and Labeled Transition Systems (LTS) in Computer Science
4.11 (9 reviews)
441
students
1.5 hours
content
Apr 2024
last update
FREE
regular price
What you will learn
The ability to represent complex computer systems using Finite State Processes (FSP) and Labeled Transition Systems (LTS).
Learn how to model and reason about the behavior of interconnected components.
Apply formal methods to solve complex problems in Computer Science.
Master Finite State Process (FSP) language.
Build Labeled Transition Systems (LTS) from Finite State Process (FSP) descriptions.
Get fast and friendly support in the Q&A area
Screenshots
5569042
udemy ID
9/20/2023
course created date
10/4/2023
course indexed date
Bot
course submited by