Tom T. P. Franken

According to our database, Tom T. P. Franken authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Expressivity of AuDaLa: Turing Completeness and Possible Extensions.

Tom T. P. Franken, Thomas Neele

CoRR, 2024

AuDaLa is Turing Complete.

Tom T. P. Franken, Thomas Neele

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

Formalisation of a New Weak Semantics for AuDaLa.

Gijs P. Leemrijse, Tom T. P. Franken, Thomas Neele

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

An Autonomous Data Language.

Tom T. P. Franken, Thomas Neele, Jan Friso Groote

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023