( en | de | ru )

 

Disambiguierung von "Laneve, Cosimo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A type system for JVM threads.

. Theor. Comput. Sci., 290 (1): 741-778 (2003)

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.

Cosimo Gorini

Cosimo Fedeli

Cosimo Restuccia

Cosimo Calo

Cosimo Carniani

 

Weitere Publikationen von Autoren mit dem selben Namen

A type system for JVM threads.. Theor. Comput. Sci., 290 (1): 741-778 (2003)A Beginner's Guide to the DeadLock Analysis Model., und . TGC, Volume 8191 von Lecture Notes in Computer Science, Seite 49-63. Springer, (2012)Calculi for Concurrent Objects (Tutorial).. FMOODS, Volume 139 von IFIP Conference Proceedings, Kluwer, (1999)Paths in the lambda-calculus, , , und . LICS, Seite 426-436. IEEE Computer Society, (1994)The Must Preorder Revisited., und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 212-225. Springer, (2007)Orchestrating Transactions in Join Calculus., , und . CONCUR, Volume 2421 von Lecture Notes in Computer Science, Seite 321-337. Springer, (2002)Smooth Orchestrators., und . FoSSaCS, Volume 3921 von Lecture Notes in Computer Science, Seite 32-46. Springer, (2006)Paths, Computations and Labels in the Lambda-Calculus., und . RTA, Volume 690 von Lecture Notes in Computer Science, Seite 152-167. Springer, (1993)Inheritance in the Join Calculus., , , und . FSTTCS, Volume 1974 von Lecture Notes in Computer Science, Seite 397-408. Springer, (2000)Core Formal Molecular Biology., und . ESOP, Volume 2618 von Lecture Notes in Computer Science, Seite 302-318. Springer, (2003)