Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity.

Published in: Category Theory and Computer Science (1995)

Keyphrases

simulation study
information retrieval
website
clustering algorithm
database systems
user friendly
numerical simulations
simulation environment
data sets
e learning
image segmentation