TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems

Javier Enriquez Mendoza; Sam Speight; Vincent Rahli

TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems

Javier Enriquez Mendoza
, Sam Speight
, Vincent Rahli

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Formal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication	46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
Editors	Laura Bocchi, Burcu Kulahcioglu Ozkan
Publisher	Springer Nature
Publication status	Accepted/In press - 27 Mar 2026
Event	46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Urbino, Italy Duration: 8 Jun 2026 → 12 Jun 2026 Conference number: 46 https://www.discotec.org/2026/forte.html

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	16589
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Abbreviated title	FORTE 2026
Country/Territory	Italy
City	Urbino
Period	8/06/26 → 12/06/26
Internet address	https://www.discotec.org/2026/forte.html

Bibliographical note

Not yet published as of 11/05/2026, expected June 2026.

Embargoed Document

MendozaJE2026TPTL_DIST_AAM
Accepted author manuscript, 998 KB
Licence: Creative Commons: Attribution (CC BY)
Embargo ends: 8/06/26

Cite this

Enriquez Mendoza, J., Speight, S., & Rahli, V. (Accepted/In press). TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems. In L. Bocchi, & B. Kulahcioglu Ozkan (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings (Lecture Notes in Computer Science; Vol. 16589). Springer Nature.

Enriquez Mendoza, Javier ; Speight, Sam ; Rahli, Vincent. / TPTL-DIST : A Calculus for Verifying Real-Time Distributed Systems. Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. editor / Laura Bocchi ; Burcu Kulahcioglu Ozkan. Springer Nature, 2026. (Lecture Notes in Computer Science).

@inproceedings{71b90429f8ab4141baa193302f436c87,

title = "TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems",

author = "\{Enriquez Mendoza\}, Javier and Sam Speight and Vincent Rahli",

note = "Not yet published as of 11/05/2026, expected June 2026.; 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026 ; Conference date: 08-06-2026 Through 12-06-2026",

year = "2026",

month = mar,

day = "27",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

editor = "Laura Bocchi and \{Kulahcioglu Ozkan\}, Burcu",

booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",

address = "United States",

url = "https://www.discotec.org/2026/forte.html",

}

Enriquez Mendoza, J, Speight, S & Rahli, V 2026, TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems. in L Bocchi & B Kulahcioglu Ozkan (eds), Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. Lecture Notes in Computer Science, vol. 16589, Springer Nature, 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Urbino, Italy, 8/06/26.

TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems. / Enriquez Mendoza, Javier; Speight, Sam ; Rahli, Vincent.
Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. ed. / Laura Bocchi; Burcu Kulahcioglu Ozkan. Springer Nature, 2026. (Lecture Notes in Computer Science; Vol. 16589).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - TPTL-DIST

T2 - 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

AU - Enriquez Mendoza, Javier

AU - Speight, Sam

AU - Rahli, Vincent

N1 - Conference code: 46

PY - 2026/3/27

Y1 - 2026/3/27

UR - https://link.springer.com/search?query=Formal+Techniques+for+Distributed+Objects%2C+Components%2C+and+Systems

UR - https://link.springer.com/book/9783032281869

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

BT - Formal Techniques for Distributed Objects, Components, and Systems

A2 - Bocchi, Laura

A2 - Kulahcioglu Ozkan, Burcu

PB - Springer Nature

Y2 - 8 June 2026 through 12 June 2026

ER -

Enriquez Mendoza J, Speight S , Rahli V. TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems. In Bocchi L, Kulahcioglu Ozkan B, editors, Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. Springer Nature. 2026. (Lecture Notes in Computer Science).