WEBVTT

1
00:00:00.000 --> 00:00:02.645
Isolation and Multi-Agent Systems.

2
00:00:02.645 --> 00:00:08.976
Stop one actor from spending another's permit, and store a message as a message.

3
00:00:08.976 --> 00:00:13.556
Isolation means one actor cannot spend another actor's permit.

4
00:00:13.556 --> 00:00:17.160
Operator receives a fresh PERMIT for lab.observe.

5
00:00:17.160 --> 00:00:19.488
Actor other presents that nonce.

6
00:00:19.488 --> 00:00:23.693
The binding is rejected because the actor does not match.

7
00:00:23.693 --> 00:00:27.222
A message from operator to other is then stored.

8
00:00:27.222 --> 00:00:31.277
The message creates no permit, and it does not execute.

9
00:00:31.277 --> 00:00:33.905
An inter-agent message is a message.

10
00:00:33.905 --> 00:00:36.983
It is not authority moving between agents.

11
00:00:36.983 --> 00:00:40.912
Here is the measured teaching-workstation run.

12
00:00:40.912 --> 00:00:44.142
Actor other presents operator's nonce.

13
00:00:44.142 --> 00:00:45.190
Outcome DENY.

14
00:00:45.190 --> 00:00:46.674
Dispatch is false.

15
00:00:46.674 --> 00:00:48.158
Executed is false.

16
00:00:48.158 --> 00:00:50.777
The reason is binding rejected.

17
00:00:50.777 --> 00:00:54.269
Deliver a message from operator to other.

18
00:00:54.269 --> 00:00:57.150
The reason is ipc is not a permit.