みなさま，
東京大学の蓮尾です．来週火曜日の研究室セミナーでは， Leicester 大学の Irek Ulidowski さんをお迎えしてプロセス計算と event structure に関するご研究をお話いただきます． ぜひご参加ください．
蓮尾 一郎 http://www-mmm.is.s.u-tokyo.ac.jp/
________________________________
Tue 21 May 2013, 15:30-17:30
Irek Ulidowski (University of Leicester)
Modelling of bonding with processes ad events
理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom)
We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures.
みなさま，
明日の講演のご案内，再送します． ぜひご参加ください．
蓮尾 一郎
On Tue, May 14, 2013 at 12:02 PM, Ichiro Hasuo [email protected] wrote:
みなさま，
東京大学の蓮尾です．来週火曜日の研究室セミナーでは， Leicester 大学の Irek Ulidowski さんをお迎えしてプロセス計算と event structure に関するご研究をお話いただきます． ぜひご参加ください．
蓮尾 一郎 http://www-mmm.is.s.u-tokyo.ac.jp/
Tue 21 May 2013, 15:30-17:30
Irek Ulidowski (University of Leicester)
Modelling of bonding with processes ad events
理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom)
We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures.
-
Ichiro Hasuo