荒木 俊郎

交互シャフルについて 

電子情報通信学会論文誌D-I J77-D-I(2) 242-244 1994年  

ペトリネットの部分クラスにおける同時発火可能性 

電子情報通信学会論文誌D-I J77-D-I(1) 1-10 1994年  

On Alternate Shuffle Operator 

Trans. IEICE, Part D-I J77-D-I(2) 242-244 1994年  

Concurrent Firability of Transitions on Restricted Petri Net 

Trans. IEICE, Part D-I J77-D-I(1) 1-10 1994年  

シャフルを付け加えたω正規表現 

電子情報通信学会論文誌D-I J72-D-I 1 1989年  

ω言語を受理する有限オートマトンの等価性判定アルゴリズム 

電子情報通信学会論文誌D-I J72-D-I 12 1989年  

Properties of ω-Regular Expressions with Shuffle Operators 

Trans. IEICE, Part D-I J72-D-I 1 1989年  

An Efficient Equivalence Decision Algorithm for Automata Accepting ω-Languages 

Trans. IEICE, Part D-I J72-D-I 12 1989年  

ユーザインタフェース作成支援システムの設計と試作について 

情報処理学会論文誌 28 5 1987年  

UISE_User Interface Support Environment 

Trans. IPSJ 28 5 1987年  

Concurrent C : A Programming Language for Distributed Multiprocessor Systems 

Software-Practice and Experience 14 11 1984年  

Concurrent C : A Programming Language for Distributed Multiprocessor Systems 

Software-Practice and Experience 14 11 1984年  

シャフル文法 

電子通信学会論文誌(D) J66-D 8 1983年  

Shuffle Grammars 

Trans. IECE Japan, Part D J66-D 8 1983年  

Relations of Flow Languages To Petri Net Languages 

Theoretical Computer Science 15 1 1981年  

Flow Languages Equal Recursively Enumerable Languages 

Acta Informatica 15 3 1981年  

Relations of Flow Languages To Petri Net Languages 

Theoretical Computer Science 15 1 1981年  

Flow Languages Equal Recursively Enumerable Languages 

Acta Informatica 15 3 1981年  

ペトリネットに関する幾つかの決定不能問題 

電子通信学会論文誌(D) J59-D 1 1976年  

Some Undecidable Problems about Petri Nets 

Trans IECE Japan, Sec. J J59-D 1 1976年