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)
Udemy
platform
English
language
Data Science
category
Lucas Bazilio
instructor
Introduction to Concurrency - FSP and LTS - Part 1
461
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

Course Gallery

Introduction to Concurrency - FSP and LTS - Part 1 – Screenshot 1
Screenshot 1 – Introduction to Concurrency - FSP and LTS - Part 1
Introduction to Concurrency - FSP and LTS - Part 1 – Screenshot 2
Screenshot 2 – Introduction to Concurrency - FSP and LTS - Part 1
Introduction to Concurrency - FSP and LTS - Part 1 – Screenshot 3
Screenshot 3 – Introduction to Concurrency - FSP and LTS - Part 1
Introduction to Concurrency - FSP and LTS - Part 1 – Screenshot 4
Screenshot 4 – Introduction to Concurrency - FSP and LTS - Part 1

Charts

Students
Price
Rating & Reviews
Enrollment Distribution
5569042
udemy ID
20/09/2023
course created date
04/10/2023
course indexed date
Bot
course submited by