Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Explicit time management"'
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030028510
MEDI Workshops
MEDI Workshops
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between specification and implementat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::970f7495c5b1523efe64363bfe06fd18
https://doi.org/10.1007/978-3-030-02852-7_20
https://doi.org/10.1007/978-3-030-02852-7_20
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between specification and implementat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9507::29183c5fcfc9b4a6ac0358bd4d3f9a14
https://repositorio.escuelaing.edu.co/handle/001/1800
https://repositorio.escuelaing.edu.co/handle/001/1800
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.