Translating Erlang to µCRL.

Thomas Arts Clara Benac Earle Juan José Sánchez Penas

Published in: ACSD (2004)

Keyphrases

artificial intelligence
measurement data
database
knowledge base
optimal solution
prior knowledge
np hard
queueing systems