スポンサーリンク
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
- Development of Program Difference Tool Based on Tree Mapping
- Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
- Experimental Evaluation of Team Performance in Program Development Based on a Model : Extension of a Programmer Performance Model
- A Gradual Neural Network Approach for Time Slot Assignment in TDM Multicast Switching Systems
- A Language for Structured Programming: LSP(PL/1)