Process calculi

Algebra of communicating processes

The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially developed by Jan Bergstra and Jan Willem Klop in 1982, as part of an effort to investigate the solutions of unguarded recursive equations. More so than the other seminal process calculi (CCS and CSP), the development of ACP focused on the algebra of processes, and sought to create an abstract, generalized axiomatic system for processes, and in fact the term process algebra was coined during the research that led to ACP. (Wikipedia).

Video thumbnail

10 Relations (still with the not-so-exciting-stuff)

This video introduces relations between pairs of elements.

From playlist Abstract algebra

Video thumbnail

Introduction to Relations and Functions

An introduction to relations and functions. Discussion includes defining, classifying, and examples of relations and functions, as well as five ways to represent relations and functions,

From playlist Algebra 1

Video thumbnail

Algebra 2 2.01a - What is a Function

What is a function? The concept of a function is explained through the use of a specific example of Pressure versus Depth, and the idea of a dependent and an independent variable is discussed. This is the first video in Chapter 2 of the Algebra 2 course by Derek Owens. More info about t

From playlist Algebra 2 Chapter 2: Functions (Selected videos)

Video thumbnail

Equivalence Relations Definition and Examples

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Equivalence Relations Definition and Examples. This video starts by defining a relation, reflexive relation, symmetric relation, transitive relation, and then an equivalence relation. Several examples are given.

From playlist Abstract Algebra

Video thumbnail

Intro to Functions

As part of the college algebra series, this Center of Math video will teach you the basics of functions, including how they're written and what they do.

From playlist Basics: College Algebra

Video thumbnail

Create a system of equations from a word problem

👉Learn how to solve a system of linear equations from a word problem. A system of equations is a set of more than one equations which are to be solved simultaneously. A word problem is a real world simulation of a mathematical concept. The solution to a system of equation is the set of val

From playlist Solve a System Algebraically | Algebra 2

Video thumbnail

How to use a system of equations to solve a word problem

👉Learn how to solve a system of linear equations from a word problem. A system of equations is a set of more than one equations which are to be solved simultaneously. A word problem is a real world simulation of a mathematical concept. The solution to a system of equation is the set of val

From playlist Solve a System Algebraically | Algebra 2

Video thumbnail

LambdaConf 2015 - Reactive Programming with Algebra André van Delft

R&D on reactive programming is growing and this has delivered many language constructs, libraries and tools. Scala programmers can use threads, timers, actors, futures, promises, observables, the async construct, and others. Still it seems to us that the state of the art is not mature: rea

From playlist LambdaConf 2015

Video thumbnail

Intermediate Algebra-Inverse Functions

Intermediate Algebra-Inverse Functions

From playlist Intermediate Algebra

Video thumbnail

Linear Algebra - Lecture 17 - Matrix Transformations

In this lecutre, we will discuss matrix transformations, which are functions that arise from multiplying a matrix by a vector. We will establish some vocabulary that we will be using when discussing these types of functions.

From playlist Linear Algebra Lectures

Video thumbnail

Matrix Ansatz and Algebraic Bethe Ansatz for the Exclusion Process by Kirone Mallick

PROGRAM URL : http://www.icts.res.in/program/NESP2015 DATES : Monday 26 Oct, 2015 - Friday 20 Nov, 2015 VENUE : Ramanujan Lecture Hall, ICTS Bangalore DESCRIPTION : This program will be organized as an advanced discussion workshop on some topical issues in nonequilibrium statstical phys

From playlist Non-equilibrium statistical physics

Video thumbnail

Chelsea Walton, "An Invitation to Noncommutative Algebra," the 2021 NAM Claytor-Woodard Lecture

Chelsea Walton, Rice University, gives the NAM Claytor-Woodard Lecture on "An invitation to Noncommutative Algebra," on January 9, 2021 at the Joint Mathematics Meetings

From playlist Useful math

Video thumbnail

Invitation to a more logical, solid and careful analysis | Algebraic Calculus One | Wild Egg

The Algebraic Calculus One course will be starting at the beginning of next year. How can you join up? What can you expect? Here is some information about what is likely to be one of the most exciting developments in modern mathematics! The course has now in 2020 been opened up for the ge

From playlist Algebraic Calculus One from Wild Egg

Video thumbnail

Lecture 1 | Introduction to Linear Dynamical Systems

Professor Stephen Boyd, of the Electrical Engineering department at Stanford University, gives an overview of the course, Introduction to Linear Dynamical Systems (EE263). Introduction to applied linear algebra and linear dynamical systems, with applications to circuits, signal processi

From playlist Lecture Collection | Linear Dynamical Systems

Video thumbnail

RustConf 2016 - The /r/playrust Classifier... by Suchin Gururangan & Colin O'Brien

RustConf 2016 - The /r/playrust Classifier: Real World Rust Data Science by Suchin Gururangan & Colin O'Brien Modern machine learning systems require scalable, real-time processing to analyze massive datasets. Rust is an attractive tool to help drive low-cost, high performance data scienc

From playlist RustConf 2016

Video thumbnail

Guo-Wei Wei (8/28/21): How Math and AI are revolutionizing biosciences

Mathematics underpins fundamental theories in physics such as quantum mechanics, general relativity, and quantum field theory. Nonetheless, its success in modern biology, namely cellular biology, molecular biology, biochemistry, and genetics, has been quite limited. Artificial intelligence

From playlist Beyond TDA - Persistent functions and its applications in data sciences, 2021

Video thumbnail

Nicolas Behr - Towards Executable Applied Category Theory in Coq

This talk will present the ”coreact.wiki” initiative, which aims to develop a novel form of wiki engine that will couple a database of human-readable mathematical knowledge with a database containing machine-readable and -executable representations of this knowledge in proof assistants suc

From playlist Combinatorics and Arithmetic for Physics: special days

Video thumbnail

Algebra for beginners || Basics of Algebra

In this course you will learn about algebra which is ideal for absolute beginners. #Algebra is the branch of mathematics that helps in the representation of problems or situations in the form of mathematical expressions. It involves variables like x, y, z, and mathematical operations like

From playlist Algebra

Video thumbnail

Applications of the trace of Frobenius: past, present, and future - Tony Feng

Short Talks by Postdoctoral Members Topic: Applications of the trace of Frobenius: past, present, and future Speaker: Tony Feng Affiliation: Member, School of Mathematics Date: September 25, 2020 For more video please visit http://video.ias.edu

From playlist Mathematics

Related pages

Deadlock | Universal algebra | Communicating sequential processes