A Denotational Semantics for Dynamic Architectures

My paper, accepted for presentation at the 13th International Symposium on Theoretical Aspects of Software Engineering, describes a denotational semantics for dynamically evolving architectures based on fixed points in lattices.

Kommentar verfassen Antwort abbrechen

Gib hier deinen Kommentar ein ...

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

E-Mail (erforderlich) (Adresse wird niemals veröffentlicht)

Name (erforderlich)

Website

Du kommentierst mit Deinem WordPress.com-Konto. ( Abmelden / Ändern )

Du kommentierst mit Deinem Twitter-Konto. ( Abmelden / Ändern )

Du kommentierst mit Deinem Facebook-Konto. ( Abmelden / Ändern )

Verbinde mit %s

I am a member of the steering committee of the FMBC workshop series.

In addition I am currently serving in the program comittee of the following venues:

I was also involved in the following events in the past:

I was reviewer for the following Journals:

I was also subreviewer for the following conferences:

%d Bloggern gefällt das: