Javier Enríquez Mendoza

According to our database, Javier Enríquez Mendoza authored at least 1 paper in 2026.

Collaborative distances:

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

2026

tptl-dist: A Calculus for Verifying Real-Time Distributed Systems.

Javier Enríquez Mendoza, Sam Speight, Vincent Rahli

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