Titlebook: CONCUR 2014 – Concurrency Theory; 25th International C Paolo Baldan,Daniele Gorla Conference proceedings 2014 Springer-Verlag Berlin Heidel

連累

參考書目

民間傳說

Synchronizing Strategies under Partial Observabilityhis, we may wish to bring a failed device into a given predetermined configuration. This problem, also known as resetting or synchronizing words, has been intensively studied for systems that do not provide any information about their configurations. In order to capture more general scenarios, we ex

neuron

傳授知識

Prophylaxis

繁忙

柱廊

怪物

Native Languages of the Americasy. We show that in this case it is possible to have a dual form, easier to compute, and we prove that the typical constructs of process algebra are non-expansive with respect to this metrics, thus paving the way to a modular approach to verification.

Fortuitous