Hiroya Kawai

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1980

2 Hiroya Kawai: A formal system for parallel programs in discrete time and space. Logic of Programs 1980: 156-165

1 Hiroya Kawai: A Formal System for Parallel Programs in Discrete Time and Space. Inf. Process. Lett. 11(4/5): 204-210 (1980)

1980
2		Hiroya Kawai: A formal system for parallel programs in discrete time and space. Logic of Programs 1980: 156-165
1		Hiroya Kawai: A Formal System for Parallel Programs in Discrete Time and Space. Inf. Process. Lett. 11(4/5): 204-210 (1980)