Formalization of Concurrent Processes.

Toshio Nishimura

Published in: IFIP Congress (1977)

Keyphrases

concurrent processes
petri net
concurrent programs
formal model
information retrieval
knowledge representation
artificial intelligence
e learning
optimal solution