|
2024 10月 (8) 9月 (7) 8月 (3) 7月 (4) 6月 (6) 5月 (5) 4月 (4) 3月 (4) 2月 (9) 1月 (5) |
2023 12月 (6) 11月 (5) 10月 (5) 9月 (6) 8月 (5) 7月 (5) 6月 (8) 5月 (6) 4月 (4) 3月 (6) 2月 (6) 1月 (2) |
|
2022 12月 (5) 11月 (5) 10月 (4) 9月 (5) 8月 (5) 7月 (6) 6月 (5) 5月 (4) 4月 (2) 3月 (6) 2月 (4) 1月 (6) |
2021 12月 (5) 11月 (5) 10月 (6) 9月 (3) 8月 (3) 7月 (6) 6月 (4) 5月 (3) 4月 (3) 3月 (2) 2月 (4) 1月 (5) |
|
2020 12月 (12) 11月 (9) 10月 (10) 9月 (8) 8月 (8) 7月 (5) 6月 (8) 5月 (6) 4月 (3) 3月 (2) 2月 (2) 1月 (2) |
2019 12月 (11) 11月 (10) 10月 (7) 9月 (12) 8月 (5) 7月 (8) 6月 (10) 5月 (11) 4月 (7) 3月 (9) 2月 (8) 1月 (7) |
|
2018 12月 (9) 11月 (4) 10月 (8) 9月 (4) 8月 (2) 7月 (4) 6月 (2) 5月 (4) 4月 (7) 3月 (8) 2月 (6) 1月 (5) |
2017 12月 (5) 11月 (3) 10月 (7) 9月 (10) 8月 (3) 7月 (2) 6月 (3) 5月 (5) 4月 (1) 3月 (11) 2月 (9) 1月 (2) |
|
2016 12月 (1) 10月 (1) 8月 (3) 6月 (1) 5月 (1) 4月 (3) 3月 (2) 2月 (7) 1月 (8) |
2015 12月 (3) 11月 (5) 10月 (5) 9月 (1) 8月 (2) 7月 (3) 6月 (4) 5月 (3) 4月 (1) 3月 (1) 2月 (2) 1月 (4) |
|
2014 12月 (2) 11月 (5) 10月 (2) 9月 (2) 8月 (1) 7月 (3) 6月 (2) 5月 (2) 4月 (4) 3月 (3) 2月 (5) 1月 (4) |
2013 12月 (5) 11月 (10) 10月 (2) 9月 (2) 8月 (5) 7月 (5) 6月 (4) 5月 (10) 4月 (6) 3月 (8) 2月 (1) 1月 (10) |
|
2012 12月 (6) 11月 (6) 10月 (2) 9月 (3) 8月 (6) 7月 (9) 6月 (5) 5月 (4) 4月 (6) 3月 (5) 2月 (6) 1月 (3) |
2011 12月 (6) 11月 (2) 10月 (3) 9月 (7) 8月 (2) 7月 (2) 6月 (1) 5月 (7) 4月 (4) 3月 (10) 2月 (11) 1月 (12) |
|
2010 12月 (8) 11月 (2) 10月 (6) 9月 (7) 8月 (7) 7月 (9) 6月 (6) 5月 (7) 4月 (8) 3月 (12) 2月 (9) 1月 (16) |
2009 12月 (23) 11月 (14) 10月 (16) 9月 (17) 8月 (22) 7月 (12) 6月 (10) 5月 (24) 4月 (25) 3月 (21) 2月 (14) 1月 (4) |
|
2008 12月 (3) 11月 (1) 10月 (2) 9月 (4) 8月 (2) 7月 (1) 6月 (1) 5月 (2) 4月 (1) 3月 (4) 2月 (2) 1月 (1) |
2007 11月 (2) 10月 (1) 8月 (1) 7月 (4) 3月 (1) 2月 (4) |
|
2006 12月 (2) 11月 (3) 10月 (2) 8月 (1) 7月 (4) 6月 (3) |
π計算の意味論を図的に定義しようという論文。実行系列の図的表現ではなく、図を使って意味を定義しているところが新しい。垂直方向にプロセスの状態、水平方向にメッセージ通信を記述する。数式表現に比べれば直観的にわかりやすいことと、履歴が一緒に表現されることが利点として主張されている。Chart Semantics と通常の Reduction Semantics の関係についても議論している。
author="Johannes Borgstroem and Andrew D. Gordon and Andrew Phillips",
title="{A Chart Semantics for the Pi-Calculus}",
booktitle="EXPRESS 2007",
year="2007"