ハイブリッド・ホーア論理の一般化

ハイブリッド・システムの仕様記述と証明のための一般化されたハイブリッド・ホーア論理を提案する。この論理は、通信と並行性を明示的かつ合成的に扱うことができ、連続的および離散的な相対完全性を持つ。