Searching for authors named "Alin Stefanescu" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Automatic Synthesis of Distributed Systems
- … these properties cannot play a role in the synthesis procedure. This will be discussed further in section 2. Alin.Stefanescu…
- Add To MetaCart
-
Complexity Results for Checking Distributed Implementability
- …, Germany Alin.Stefanescu@(email omitted); cerning synchronous products and asynchronous automata were…
- Add To MetaCart
-
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
- … of Konstanz D-78457 Konstanz, Germany Email: {Stefan.Leue|Alin.Stefanescu|Wei.Wei}@(email omitted); Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
Synthesis of Distributed Algorithms Using Asynchronous Automata
- …Synthesis of Distributed Algorithms Using Asynchronous Automata Alin S¸tefănescu 1 , Javier…
- Cited by 11 (1 self) – Add To MetaCart
Showing 1 through 4.
