×

zbMATH — the first resource for mathematics

Futatsugi, Kokichi

Compute Distance To:
Author ID: futatsugi.kokichi Recent zbMATH articles by "Futatsugi, Kokichi"
Published as: Futatsugi, Kokichi
Documents Indexed: 39 Publications since 1976, including 3 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 168 times in 96 Documents Cited by Year
CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification. Zbl 0962.68115
Diaconescu, Razvan; Futatsugi, Kokichi
52
1998
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
23
2000
Logical foundations of CafeOBJ. Zbl 1001.68079
Diaconescu, Răzvan; Futatsugi, Kokichi
22
2002
Principles of proof scores in CafeOBJ. Zbl 1253.68220
Futatsugi, Kokichi; Găină, Daniel; Ogata, Kazuhiro
10
2012
Proof scores in the OTS/CafeOBJ method. Zbl 1253.68249
Ogata, Kazuhiro; Futatsugi, Kokichi
10
2003
Constructor-based logics. Zbl 1362.68193
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
7
2012
CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358
Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro
5
2003
Some tips on writing proof scores in the OTS/CafeOBJ method. Zbl 1132.68489
Ogata, Kazuhiro; Futatsugi, Kokichi
4
2006
Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications. Zbl 1407.68312
Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi
3
2014
Formal analysis of Suzuki & Kasami distributed mutual exclusion algorithm. Zbl 1056.68162
Ogata, Kazuhiro; Futatsugi, Kokichi
3
2002
Formal methods in CafeOBJ. Zbl 1019.68523
Futatsugi, Kokichi
3
2002
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. Zbl 1192.68931
Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi
3
2010
Initial semantics in logics with constructors. Zbl 1319.68146
Găină, Daniel; Futatsugi, Kokichi
3
2015
On Markov chains generated by Markovian controlled Markov systems. I: Ergodic properties. Zbl 0371.62120
Komota, Yasuo; Futatsugi, Kokichi; Kimura, Masayuki
3
1976
An overview of \(CafeOBJ\). Zbl 0917.68101
Diaconescu, Razvan; Futatsugi, Kokichi
2
1998
Generate & check method for verifying transition systems in CafeOBJ. Zbl 1453.68111
Futatsugi, Kokichi
2
2015
Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Zbl 1113.68005
Futatsugi, Kokichi (ed.); Jouannaud, Jean-Pierre (ed.); Meseguer, José (ed.)
2
2006
Constructor-based institutions. Zbl 1239.68043
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
2
2009
On automation of OTS/CafeOBJ method. Zbl 1407.68308
Găină, Daniel; Lucanu, Dorel; Ogata, Kazuhiro; Futatsugi, Kokichi
1
2014
Theorem proving based on proof scores for rewrite theory specifications of OTSs. Zbl 1407.68298
Ogata, Kazuhiro; Futatsugi, Kokichi
1
2014
An overview of OBJ2. Zbl 0657.68007
Futatsugi, Kokichi
1
1988
Formal verification of the Horn-Preneel micropayment protocol. Zbl 1022.68550
Ogata, Kazuhiro; Futatsugi, Kokichi
1
2003
Test set coinduction – toward automated verification of behavioural properties. Zbl 0917.68114
Matsumoto, Michihiro; Futatsugi, Kokichi
1
1998
Modeling and verification of real-time systems based on equations. Zbl 1116.68054
Ogata, Kazuhiro; Futatsugi, Kokichi
1
2007
A Maude environment for CafeOBJ. Zbl 1358.68195
Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi
1
2017
Design and implementation of Parallel TRAM. Zbl 0996.68654
Ogata, Kazuhiro; Kondo, Masaru; Ioroi, Shigenori; Futatsugi, Kokichi
1
1997
Formal verification of the MCS list-based queueing lock. Zbl 0959.68505
Ogata, Kazuhiro; Futatsugi, Kokichi
1
1999
A Maude environment for CafeOBJ. Zbl 1358.68195
Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi
1
2017
Initial semantics in logics with constructors. Zbl 1319.68146
Găină, Daniel; Futatsugi, Kokichi
3
2015
Generate & check method for verifying transition systems in CafeOBJ. Zbl 1453.68111
Futatsugi, Kokichi
2
2015
Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications. Zbl 1407.68312
Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi
3
2014
On automation of OTS/CafeOBJ method. Zbl 1407.68308
Găină, Daniel; Lucanu, Dorel; Ogata, Kazuhiro; Futatsugi, Kokichi
1
2014
Theorem proving based on proof scores for rewrite theory specifications of OTSs. Zbl 1407.68298
Ogata, Kazuhiro; Futatsugi, Kokichi
1
2014
Principles of proof scores in CafeOBJ. Zbl 1253.68220
Futatsugi, Kokichi; Găină, Daniel; Ogata, Kazuhiro
10
2012
Constructor-based logics. Zbl 1362.68193
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
7
2012
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. Zbl 1192.68931
Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi
3
2010
Constructor-based institutions. Zbl 1239.68043
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
2
2009
Modeling and verification of real-time systems based on equations. Zbl 1116.68054
Ogata, Kazuhiro; Futatsugi, Kokichi
1
2007
Some tips on writing proof scores in the OTS/CafeOBJ method. Zbl 1132.68489
Ogata, Kazuhiro; Futatsugi, Kokichi
4
2006
Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Zbl 1113.68005
Futatsugi, Kokichi; Jouannaud, Jean-Pierre; Meseguer, José
2
2006
Proof scores in the OTS/CafeOBJ method. Zbl 1253.68249
Ogata, Kazuhiro; Futatsugi, Kokichi
10
2003
CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358
Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro
5
2003
Formal verification of the Horn-Preneel micropayment protocol. Zbl 1022.68550
Ogata, Kazuhiro; Futatsugi, Kokichi
1
2003
Logical foundations of CafeOBJ. Zbl 1001.68079
Diaconescu, Răzvan; Futatsugi, Kokichi
22
2002
Formal analysis of Suzuki & Kasami distributed mutual exclusion algorithm. Zbl 1056.68162
Ogata, Kazuhiro; Futatsugi, Kokichi
3
2002
Formal methods in CafeOBJ. Zbl 1019.68523
Futatsugi, Kokichi
3
2002
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
23
2000
Formal verification of the MCS list-based queueing lock. Zbl 0959.68505
Ogata, Kazuhiro; Futatsugi, Kokichi
1
1999
CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification. Zbl 0962.68115
Diaconescu, Razvan; Futatsugi, Kokichi
52
1998
An overview of \(CafeOBJ\). Zbl 0917.68101
Diaconescu, Razvan; Futatsugi, Kokichi
2
1998
Test set coinduction – toward automated verification of behavioural properties. Zbl 0917.68114
Matsumoto, Michihiro; Futatsugi, Kokichi
1
1998
Design and implementation of Parallel TRAM. Zbl 0996.68654
Ogata, Kazuhiro; Kondo, Masaru; Ioroi, Shigenori; Futatsugi, Kokichi
1
1997
An overview of OBJ2. Zbl 0657.68007
Futatsugi, Kokichi
1
1988
On Markov chains generated by Markovian controlled Markov systems. I: Ergodic properties. Zbl 0371.62120
Komota, Yasuo; Futatsugi, Kokichi; Kimura, Masayuki
3
1976

Citations by Year