Coalgebraic Weak Bisimulation for Action-Type Systems.

Ana Sokolova Erik P. de Vink Harald Woracek

Published in: Sci. Ann. Comput. Sci. (2009)

Keyphrases

computing systems
real time
real world
management system
information retrieval
multi agent
information retrieval systems
distributed systems
building blocks
complex systems
retrieval systems