The following pages link to Kokichi Futatsugi (Q520243):
Displayed 37 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- Modeling and verification of real-time systems based on equations (Q882458) (← links)
- Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications (Q968529) (← links)
- On Markov chains generated by Markovian controlled Markov systems. I: Ergodic properties (Q1243563) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- To use or not to use the goto statement: programming styles viewed from Hoare Logic (Q2492941) (← links)
- (Q2715825) (← links)
- (Q2816365) (← links)
- (Q2851055) (← links)
- (Q2863871) (← links)
- Constructor-Based Institutions (Q2888501) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications (Q2949707) (← links)
- (Q3325042) (← links)
- (Q3396602) (← links)
- (Q3805877) (← links)
- (Q3886840) (← links)
- (Q4222983) (← links)
- (Q4222987) (← links)
- (Q4409149) (← links)
- (Q4414392) (← links)
- (Q4418593) (← links)
- (Q4501590) (← links)
- (Q4520814) (← links)
- (Q4537126) (← links)
- (Q4680190) (← links)
- (Q4790352) (← links)
- Initial semantics in logics with constructors (Q5176547) (← links)
- Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
- Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications (Q5403069) (← links)
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method (Q5403083) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method (Q5757932) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902548) (← links)