Autor der Publikation

The piL-Calculus - A Formal Foundation for Software Composition.

. ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 317. Springer, (1999)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a formal composition language, , , und . Proceedings of ESEC '97 Workshop on Foundations of Component-Based Systems, Seite 178--187. Zurich, (September 1997)The piL-Calculus - A Formal Foundation for Software Composition.. ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 317. Springer, (1999)Finding the k in K-means Clustering: A Comparative Analysis Approach., und . Australasian Conference on Artificial Intelligence, Volume 9457 von Lecture Notes in Computer Science, Seite 356-364. Springer, (2015)On the Use of Properties in Java Applications., , und . Australian Software Engineering Conference, Seite 235-244. IEEE Computer Society, (2010)Comparative analysis of evolving software systems using the Gini coefficient., , , und . ICSM, Seite 179-188. IEEE Computer Society, (2009)A Lambda Calculus with Forms.. SC@ETAPS, Volume 3628 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2005)Growing a Language: The GLooPerspective.. SC@ETAPS, Volume 4954 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2008)Synchronizing Concurrent Objects in the Pi-Calculus., und . LMO, Seite 61-76. Hermès, (1997)Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata.. FACS@FMWeek, Volume 263 von Electronic Notes in Theoretical Computer Science, Seite 179-195. Elsevier, (2009)On the Application of Inequality Indices in Comparative Software Analysis., und . Australian Software Engineering Conference, Seite 117-126. IEEE Computer Society, (2013)