{
  "title": "Parallel Processes",
  "origin_url": "https://www.mcrl2.org/web/user_manual/tutorial/mcrl.html",
  "license_guess": null,
  "code_sha256": "c13865e28190a8285f93c611322394f8622c09703e87a19b89fe37f8019868b9",
  "added_at": "2026-02-16T17:02:46Z"
}