服部 哲

ソフトウェアプロセスの時間オートマトンおよび時間モジュールによる記述法の比較(共著) 

電子情報通信学会技術研究報告 100(570) 33-40 2001年  

Comparison between Software Process Description in Timed Automata and Description in Timed Modules 

IEICE Technical Report 100(570) 33-40 2001年  

データ付時間オートマトンの双模倣等価性の記号的検証法(共著) 

情報処理学会論文誌 41(9) 2487-2497 2000年  

Symbolic Verification of Bisimulation Equivalence for Timed Automata with Data Values 

IPSJ Journal 41(9) 2487-2497 2000年  

Specification of Real-Time Systems Using a Timed Automate Model with Shared Variables and Verification of Partial-deadlock Freeness(共著) 

Proceedings of the 1999 ICPP(International Conference on Parallel Processing)Workshops 576-581 1999年  

An Implementation of Orthogonal TRS on Multi-Processor Machine with Shared Memory 

The Transactions of the Institute of Electronics, Information and Communication Engineers D-I 81(1) 28-37 1998年  

Modularity of Level-Confluence for Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides(共著) 

IEICE Technical Report 97(125) 33-40 1997年  

並列最外戦略の並列計算機上での一実現法(共著) 

電子情報通信学会情報基礎理論ワークショップ('95LA夏のシンポジウム)論文集 49-54 1995年  

An Implementation of Term Rewriting System with Parallel Outermost Strategy on Multi-Processor Machine 

Proceedings of '95LA Summer Symposium 49-54 1995年  

部分項の評価順が指定できる項書換え系とその性質について(共著) 

京都大学数理解析研究所講究録 833 69-79 1993年  

Term Rewriting Systems Specifying Order of Evaluation of Subterms, and its Properties 

RIMS Kokyuroku 833 69-79 1993年