Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Baldan, Paolo
and
Crafa, Silvia
2014.
Programming Languages and Systems.
Vol. 8858,
Issue. ,
p.
469.
Phillips, Iain
and
Ulidowski, Irek
2015.
Reversibility and asymmetric conflict in event structures.
Journal of Logical and Algebraic Methods in Programming,
Vol. 84,
Issue. 6,
p.
781.
Baldan, Paolo
and
Padoan, Tommaso
2017.
Foundations of Software Science and Computation Structures.
Vol. 10203,
Issue. ,
p.
407.
Gutierrez, Julian
2018.
On fixpoint logics and equivalences for processes with restricted nondeterminism.
Journal of Logic and Computation,
Vol. 28,
Issue. 4,
p.
779.
Baldan, Paolo
and
Padoan, Tommaso
2018.
Foundations of Software Science and Computation Structures.
Vol. 10803,
Issue. ,
p.
165.
Baldan, Paolo
and
Padoan, Tommaso
2020.
Model Checking a Logic for True Concurrency.
ACM Transactions on Computational Logic,
Vol. 21,
Issue. 4,
p.
1.
Lanese, Ivan
and
Phillips, Iain
2021.
Reversible Computation.
Vol. 12805,
Issue. ,
p.
126.
Baldan, Paolo
Gorla, Daniele
Padoan, Tommaso
and
Salvo, Ivano
2022.
Characterising spectra of equivalences for event structures, logically.
Information and Computation,
Vol. 285,
Issue. ,
p.
104887.
Baldan, Paolo
Gorla, Daniele
Padoan, Tommaso
and
Salvo, Ivano
2022.
Behavioural logics for configuration structures.
Theoretical Computer Science,
Vol. 913,
Issue. ,
p.
94.
Glück, Robert
Lanese, Ivan
Mezzina, Claudio Antares
Miszczak, Jarosław Adam
Phillips, Iain
Ulidowski, Irek
and
Vidal, Germán
2023.
Reversible Computation.
Vol. 13960,
Issue. ,
p.
24.
Oguchi, Shunya
and
Yuen, Shoji
2023.
CRIL: A Concurrent Reversible Intermediate Language.
Electronic Proceedings in Theoretical Computer Science,
Vol. 387,
Issue. ,
p.
149.
RAZMKHAH, Sasan
and
FEBVRE, Pascal
2023.
Beyond‐CMOS.
p.
295.
Dal Pio Luogo, Federico
Mezzina, Claudio Antares
and
Pinna, G. Michele
2024.
Reversible Computation.
Vol. 14680,
Issue. ,
p.
218.