Concurrent Processes with Synchronization: Net and Algebraic Approach.

Ludmila Cherkasova Alexander S. Filurin

Published in: Logic at Botik (1989)

Keyphrases

concurrent processes
concurrent programs
petri net
higher order
real time
real world
machine learning
image processing
general purpose
linear algebra
algebraic structure