A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces.

Published in: CMCS (2004)

Keyphrases

multiscale
development process
neural network
data mining
information systems
feature selection
expert systems
information technology
process model
diffusion process