PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Yemini, Shaula"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Distributed Programming Environment: Challenges.

, , , , , , , , und . Open Distributed Processing, Volume C-1 von IFIP Transactions, Seite 379-394. North-Holland, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Yemini, Shaula
Eine Person hinzufügen mit dem Namen Yemini, Shaula
 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesizing Distributed and Parallel Programs through Optimistic Transformations., und . ICPP, Seite 632-642. IEEE Computer Society Press, (1985)High-level language support for programming distributed systems., , , , , , , , , und 1 andere Autor(en). CASCON, Seite 173-196. IBM, (1991)High-Level Language Debugging for Concurrent Programs., , und . ACM Trans. Comput. Syst., 8 (4): 311-336 (1990)Typestate: A Programming Language Concept for Enhancing Software Reliability., und . IEEE Trans. Software Eng., 12 (1): 157-171 (1986)Synthesizing Distributed Protocols from Serial Programs., und . PSTV, Seite 443-456. North-Holland, (1984)Design, Implementation, and Validation of Secure Communications Systems., und . Protocol Specification, Testing, and Verification, Seite 317-332. North-Holland, (1983)Symmetric Intertask Communication., und . ACM Trans. Program. Lang. Syst., 7 (4): 622-636 (1985)A Modular Verifiable Exception-Handling Mechanism., und . ACM Trans. Program. Lang. Syst., 7 (2): 214-243 (1985)Volatile logging in n-fault-tolerant distributed systems., , und . FTCS, Seite 44-49. IEEE Computer Society, (1988)The NIL Distributed Systems Programming Language: A Status Report., und . Seminar on Concurrency, Volume 197 von Lecture Notes in Computer Science, Seite 512-522. Springer, (1984)