Behavior Merge文献サーベイ

"Formal Methods in System Design"(Springer)のvol6,no3に

• Merging Behavior Specificationsというのがあった。

結構FSM合成のまんまだったりする（汗）。

Gregor von Bochmann先生のところの論文だけど、先生はUSA嫌い？

Jean-Pierre Talpin, INRIAもにたような論文

• An algebraic theory for behavioral modeling and protocol synthesis in system designがある。

ついでにこのtalpin監修の"Formal Methods and Models for System Design"という本があるらしい

【付録】以外とよかったGOOGLE

merge LTS process algebra