Kazuhito OHMAKI


Least Fixpoint and Greatest Fixpoint in a Process Algebra with Conjunction and Disjunction
Yoshinao ISOBE Yutaka SATO Kazuhito OHMAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/03/25
Vol. E83-A  No. 3  pp. 401-411
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 12th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
process algebraprocess logicprocess synthesisleast fixpointgreatest fixpoint
 Summary | Full Text:PDF(584.4KB)

Analysis of Database Production Rules by Process Algebra
Yoshinao ISOBE Isao KOJIMA Kazuhito OHMAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/08/25
Vol. E78-D  No. 8  pp. 992-1002
Type of Manuscript:  PAPER
Category: Databases
Keyword: 
active databaseproduction ruleprocess algebraprocess creationprocess treemulti-way communication
 Summary | Full Text:PDF(839KB)

An Implementation of Scrolling and Partial Refreshing Operations of a Program Editor for Fodula-2
Kazuhito OHMAKI Jan STELOVSKY 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1988/11/25
Vol. E71-E  No. 11  pp. 1146-1156
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
 Summary | Full Text:PDF(654.7KB)