Laboratory

Lab 0 — Environment Setup Tutorial

[To be read autonomously BEFORE the first lab lesson]

Lab 1 — Feel the abstraction gap

Lab 2 — Automation does it better

Lab 3 — Deep into LINDA

Lab 4 — Prolog and Exercise 4

Lab 5 — Process algebrae and other ways for hurting people

Lab 6 — All we need is ReST

Lab 7 — JADE

Lab 8 — Thou shall not pass

Lab 9 — Even Agents need to ReST

Lab 10 — Blockchain and Smart Contracts