Rechercher

[BBM15] Application of Concurrency to System Design

Revue Internationale avec comité de lecture : Journal ACM Transactions on Embedded Computing Systems (TECS) , vol. 14(4), pp. 62-63, 2015, (doi:http://dx.doi.org/10.1145/2809925)

Mots clés: formal methods, specification and verification, Petri nets, process algebras (CCS, CSP, pi-calculus), VDM++, Concurrency

Résumé: Special issue devoted to original research contributions related to theory, algorithms, and case studies arising in the area of concurrent systems, with particular focus on embedded systems design.

Commentaires: ISSN:1539-9087 EISSN:1558-3465

Equipe: vespa

BibTeX

@article {
BBM15,
title="{Application of Concurrency to System Design}",
author="K. Barkaoui and L. Bernardinello, and A. Mokhov",
journal="ACM Transactions on Embedded Computing Systems (TECS) ",
year=2015,
volume=14,
number=4,
pages="62-63",
note="{ISSN:1539-9087 EISSN:1558-3465}",
doi="http://dx.doi.org/10.1145/2809925",
}