新機能 イベント予約公開機能を追加しました!詳しくはこちらをご覧ください

このエントリーをはてなブックマークに追加

May

30

プロセス代数 CSP 構文と操作的意味論

Organizing : 株式会社 PRINCIPIA

Hashtag :#CSP
Registration info

一般

1500 (Pre-pay)

FCFS
3/10

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

お申し込み後のキャンセルはできません.セミナーについての説明をよくお読みいただき,十分ご検討の上お申し込みください.

Print receipt data:

発行しない (詳しくはこちら)

Description

セミナー内容

プロセス代数 CSP (Communicating Sequential Processes) は並行に動作するプロセスの振る舞いを記述し,性質を論証するための理論です.

理論への入門として,構文と操作的意味論を解説します.操作的意味論はプロセスの遷移を定めることでプロセスとは何かを明確にする方法です。

操作的意味論を使ってプロセスについての性質を証明する方法を解説します.机上で行う方法と定理証明支援系を使って行う方法の2通りを解説し,練習問題をやっていただきます.

プログラム

  1. 構文と直観的意味
  2. 操作的意味論
  3. 遷移の導出
  4. 演習:遷移の導出
  5. 演習:状態遷移グラフの導出
  6. Isabelle 上での形式化
  7. 演習:遷移の導出
  8. 演習:他に遷移がないことの証明

必要なもの

配布物と Zoom meeting URL

セミナー募集締め切り後に CONNPASS のメッセージにてお知らせします。

ご注意

  • 配布スライド資料の公開は禁止です.
  • 不測の事態が生じセミナーを開催または完遂できなかった場合は、日を改めて再開催することで対処させていただきます.
  • 都合により申し込み後に参加できなくなった場合は,同等のセミナーを再演する際にご参加いただけるよう配慮しますのでご連絡ください.

参考書

  • 並行システムの検証と実装, 磯部 祥尚
  • Communicating Sequential Processes, C. A. R. Hoare
  • The Theory and Practice of Concurrency, A.W. Roscoe
  • Concurrent and Real-time Systems: The CSP Approach, Steve Schneider
  • Understanding Concurrent Systems, A.W. Roscoe

Media View all Media

If you add event media, up to 3 items will be shown here.

Ended

2021/05/30(Sun)

14:00
17:00

Registration Period
2021/05/26(Wed) 00:00 〜
2021/05/30(Sun) 13:30

Location

Zoom

オンライン

Zoom

Organizer

Attendees(3)

tkokamo

tkokamo

プロセス代数 CSP 構文と操作的意味論に参加を申し込みました!

TakeshiHori

TakeshiHori

プロセス代数 CSP 構文と操作的意味論 に参加を申し込みました!

altitude3190

altitude3190

プロセス代数 CSP 構文と操作的意味論 に参加を申し込みました!

Attendees (3)