LOTOS-like Process Algebras with Urgent or Timed Interactions.

Tommaso Bolognesi Ferdinando Lucidi

Published in: FORTE (1991)

Keyphrases

information systems
database
real time
data sets
image processing
process model
diffusion process