NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY.
Saved in:
| Title: | NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY. |
|---|---|
| Authors: | ESPOSITO, ANDREA1, andrea.esposito@uniurb.it, ALDINI, ALESSANDRO1, alessandro.aldini@uniurb.it, BERNARDO, MARCO1, marco.bernardo@uniurb.it, ROSSI, SABINA2, sabina.rossi@unive.it |
| Source: | Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-28, 28p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-21(16)2025 |
