Παρακολούθηση
Tobias Prehn
Tobias Prehn
TU Berlin
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tu-berlin.de
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Keep it fair: Equivalence and composition
S Mennicke, T Prehn
Journal of Logical and Algebraic Methods in Programming, 2019
12019
Keep it Fair: Equivalences
T Prehn, S Mennicke
arXiv preprint arXiv:1711.11208, 2017
12017
Immediate Observation in Mediated Population Protocols
T Prehn, M Rotter
arXiv preprint arXiv:1908.08637, 2019
2019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–3