|
 
|
[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:
sys
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", | |
| } | |||
