MATSUMOTO KEN-ICHI | Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
スポンサーリンク
概要
- 同名の論文著者
- Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka Universityの論文著者
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University | 論文
- An Algebraic Method For Verifying Progress Property of Communication Protocolos
- Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
- On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$
- Synthesis Algorithm of Protocol Specification with Message Collision for Two Processes
- Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation