Queue-less, uncentralized resource discovery: Formal specification and verification

Coti, C., Evangelista, S. and Klai, K.. 2015. « Queue-less, uncentralized resource discovery: Formal specification and verification ». In International Workshop on Petri Nets and Software Engineering (PNSE'15) (Brussels, Belgium, June 22-23, 2015) Coll. « CEUR Workshop Proceedings », vol. 1372. pp. 315-316. CEUR-WS.
Compte des citations dans Scopus : 2.

The full text of this document is not available here.

Item Type:	Conference proceeding
Editors:	Editors ORCID Moldt, D. UNSPECIFIED Rolke, H. UNSPECIFIED Storrle, H. UNSPECIFIED
Professor:	Professor Coti, Camille
Affiliation:	Autres
Date Deposited:	09 May 2023 20:17
Last Modified:	27 Jul 2023 20:41
URI:	https://espace2.etsmtl.ca/id/eprint/26383

Actions (login required)

View Item