Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

LIP6

• X. Blanc, M.‑P. Gervais, R. Le‑Delliou : “Using the UML Language to Express the ODP Enterprise Concepts”, [Blanc 1999b]
• J.‑F. Dauchez, M.‑P. Gervais : “Specifying and verifying the behavior of telecommunications services”, [Dauchez 1999]
• S. Haddad, D. Poitrenaud : “Decidability and Undecidability Results for Recursive Petri Nets”, [Haddad 1999a]
• L. Seinturier, L. Duchien : “Observation of Distributed Computations: a Reflective Approach for CORBA”, [Seinturier 1999c]