Modocop in the OASIS project: Active Objects, Semantics, Internet and Security INRIA in SophiaAntipo - PowerPoint PPT Presentation

1 / 18
} ?>
View by Category
About This Presentation
Title:

Modocop in the OASIS project: Active Objects, Semantics, Internet and Security INRIA in SophiaAntipo

Description:

Proofs of safety properties of distributed Java applications ... Dining Philosophers : Rewritten in ProActive, distributed style. Finite configuration ... – PowerPoint PPT presentation

Number of Views:35
Avg rating:3.0/5.0
Slides: 19
Provided by: Mart556
Learn more at: http://www-sop.inria.fr
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com