Sciweavers

ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
14 years 5 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu