Approximative Analysis by Process Algebra with Graded Spatial Actions.

Yoshinao Isobe Yutaka Sato Kazuhito Ohmaki

Published in: AMAST (1996)

Keyphrases

artificial intelligence
information systems
real time
database systems
distributed systems
process algebra