GDPA  
Dr. Jeff Magee  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Dr. Jeff Magee

E-Mail

jnm@doc.ic.ac.uk

Homepage

http://www.doc.ic.ac.uk/~jnm/

Address

Distributed Software Engineering Section
Department of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ
UK 
Phone: +44.171.594.8269
Fax: +44.171.581.8024

Institution

Imperial College, London - United Kingdom

Publications

2000:
/Magee, 2000/ Graphical Animation of Behavior Models

1999:
/Giannakopoulou, 1999/ Checking Progress with Action Priority: Is it Fair?
/Magee, 1999/ Concurrency - State Models & Java Programs

1984:
/Kramer, 1984/ Environment requirements for system evolution

See Also

more information at dlpb - Universitšt Trier

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster