View in EDS PDF Full Text

A TRULY CONCURRENT SEMANTICS FOR REVERSIBLE CCS.

Saved in:
Bibliographic Details
Title: A TRULY CONCURRENT SEMANTICS FOR REVERSIBLE CCS.
Authors: MELGRATTI, HERNÁN1, MEZZINA, CLAUDIO ANTARES2, PINNA, G. MICHELE3
Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p20:1-20:37, 37p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-20(4:20)2024