Tom T. P. Franken

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

Collaborative distances:

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

2026

Expressivity of AuDaLa: Turing Completeness and Possible Extensions.

Tom T. P. Franken, Thomas Neele

Log. Methods Comput. Sci., 2026

2025

The Autonomous Data Language - Concepts, design and formal verification.

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

Theor. Comput. Sci., 2025

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