Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Distributed antenna selection for massive MIMO using reversing Petri nets | 2019 | |||
Reversibility and asymmetric conflict in event structures | Journal of Logical and Algebraic Methods in Programming |
| 16 | 2015 |
Formal Molecular Biology Done in CCS-R | Electronic Notes in Theoretical Computer Science | 20 | 2007 | |
General Reversibility | Electronic Notes in Theoretical Computer Science | 11 | 2007 | |
The chemical abstract machine | 1992 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Lifted Invariant Analysis of Petri Net Product Lines | SSRN Electronic Journal | 2022 | ||
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation | Electronic Proceedings in Theoretical Computer Science |
| 2022 |
Category | Category Repetition |
---|---|
Science: Mathematics: Instruments and machines: Electronic computers. Computer science | 1 |