The top documents tagged [finite lts]

Parameterized models for distributed objects

Parameterized models for distributed objects

33 views
Parameterized models for distributed objects Eric Madelaine, Rabéa Boulifa, Tomás Barros OASIS INRIA Sophia-Antipolis, I3S, UNSA Eric.Madelaine@sophia.inria.fr.

Parameterized models for distributed objects Eric Madelaine, Rabéa Boulifa, Tomás Barros OASIS INRIA Sophia-Antipolis, I3S, UNSA [email protected].

220 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS