Yes, we are starting to get serious.

Well, half serious at the moment.

We are now looking at this announced CCS,

the Capitalist of Communicating Systems from Hürner.

We are now looking at it.

Let's start by looking at the individual syntactic constructs one by one,

with an initially only informal explanation of what they are meant to mean.

We will formalize them next time.

We will now go through them one by one.

There is a process called zero.

And it does nothing.

It is a deadlock.

OK, that's it.

We will just draw it.

To be able to do something seriously,

we first need so-called actions.

We will create them from a set of conditions that we see as given.

So, we have a concept of action.

Or if we imagine parallel processes,

or if we imagine parallel processes,

then these are action ports.

These are basically connected connections

that can communicate processes with each other.

The word channel is a bit misleading,

because you expect a channel to send data via the channel.

Here the channel is very simple.

I can just activate the channel in one step.

The channel name is enough information to keep.

We will first specify the images.

Then we will just write a quantity.

We write the script A.

And it contains things like, for example, an action push button.

The user stands at the coffee machine and presses a button.

Or the same as a few examples, something like tick.

I have a system clock that ticks from time to time.

And the same as before.

So, not because of this name action.

You see why this is confused.

To press a button is an action.

At the same time, the button or the fact that I press it is a channel

on which I communicate with the coffee machine.

I use this operation as a so-called prefix.

The prefix operation is the next syntax we will get to know.

So, I can write A.p with A as an action and P as a process.

Not processes, but all the things I can write as a term.

A and something else.

Informally.

We can imagine this as a secondary programming language.

Because we want to implement some of what is happening.

Here is the instruction for A.