BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Poland
1 × The Netherlands
Collaborated with:
D.Walker O.Sokolsky I.Lee K.Christou
Talks about:
confluenc (2) system (2) calculus (1) analysi (1) social (1) server (1) client (1) power (1) model (1) awar (1)

Person: Anna Philippou

DBLP DBLP: Philippou:Anna

Facilitated 1 volumes:

TACAS 2009Ed

Contributed to:

TACAS 20032003
ICALP 19971997
CSL 19961996

Wrote 3 papers:

TACAS-2003-SokolskyPLC #analysis #modelling #power management
Modeling and Analysis of Power-Aware Systems (OS, AP, IL, KC), pp. 409–425.
ICALP-1997-PhilippouW #confluence #on the #π-calculus
On Confluence in the π-Calculus (AP, DW), pp. 314–324.
CSL-1996-PhilippouW #confluence #social
Social Confluence in Client-Server Systems (AP, DW), pp. 385–398.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.