Tom T. P. Franken

Orcid: 0000-0002-1168-5450

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Expressivity of AuDaLa: Turing Completeness and Possible Extensions.
CoRR, 2024

AuDaLa is Turing Complete.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

Formalisation of a New Weak Semantics for AuDaLa.
Proceedings of the Automated Technology for Verification and Analysis, 2024

2023
An Autonomous Data Language.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023


  Loading...