Defining Concurrent Processes Constructively.

Yukihide Takayama

Published in: Theor. Comput. Sci. (1994)

Keyphrases

concurrent processes
petri net
concurrent programs
database
data structure
programming language