Search CORE

5 research outputs found

Eritrea joint annual report 2003

Author: A. Deshpande
A.C. Uselton
D. Harel
J. Davis
J. Misra
K.L. McMillan
M. Abadi
N.A. Lynch
R. Alur
R. Alur
R. Alur
R. Alur
S. Tasiran
T.A. Henzinger
Publication venue
Publication date: 01/01/2004
Field of study

Archive of European Integration

Equivalences of Statecharts

Author: A. Pnueli
A.C. Uselton
C. Huizing
D. Harel
D. Harel
F. Maraninchi
G. Berry
M. Beeck von der
R. Nicola De
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Retiming techniques for Statecharts

Author: A. Peron
A. Peron
A. Pnueli
A.C. Uselton
C. Huizing
D. Harel
D. Harel
F. Jahanian
G. Berry
J. Gruska
O. Maler
Y. Kesten
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models

Author: A. Maggiolo-Schettini
A. Pnueli
A.C. Uselton
C. Huizing
D. Dalen van
D. Harel
D. Harel
F. Maraninchi
G. Berry
G. Lüttgen
R. Alur
W. Damm
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

What Is in a Step: New Perspectives on a Classical Question

Author: A. Benveniste
A. Maggiolo-Schettini
A. Maggiolo-Schettini
A. Pnueli
A. Taleghani
A.C. Uselton
C. Huizing
C. Huizing
C. Huizing
D. Dalen van
D. Harel
D. Harel
D. Harel
D. Harel
D. Harel
D. Harel
D. Harel
D. Pearce
D. Potop-Butucaru
F. Boussinot
F. Boussinot
F. Jahanian
F. Levi
F. Maraninchi
G. Berry
G. Lüttgen
G. Lüttgen
G. Lüttgen
J. Phillips
J.C. Shepherdson
J.J.M. Hooman
L. Alfaro de
L. Mandel
M. Beeck von der
M. Fitting
M.C. Fitting
N.G. Leveson
R. Eshuis
R.E. Bryant
T. Bienmüller
V.A. Saraswat
W. Damm
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2010
Field of study

core

core