Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes.

Published in: ICALP (2003)

Keyphrases

equivalence relation
description logics
multiscale
answering queries
query containment
databases
genetic algorithm
artificial intelligence
web services
process model