The MAY-preorder for timed systems with asynchronous communication

Bernardi, Giovanni, Zhang, Maryline and Ribeiro, Pedro orcid.org/0000-0003-4319-4872 (2026) The MAY-preorder for timed systems with asynchronous communication. In: Combined 33rd International Workshop on Expressiveness in Concurrency and 23rd Workshop on Structural Operational Semantics. Combined 33rd International Workshop on Expressiveness in Concurrency and 23rd Workshop on Structural Operational Semantics, 05 Sep 2026 . Electronic Proceedings in Theoretical Computer Science, GBR.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.
Dates:
  • Accepted: 25 July 2026
  • Published: 5 September 2026
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Date Deposited: 03 Sep 2026 13:00
Last Modified: 06 Sep 2026 00:30
Status: Published
Publisher: Electronic Proceedings in Theoretical Computer Science
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: paper_5.pdf

Description: Accepted manuscript

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of Accepted manuscript]

Export

Statistics


CORE (COnnecting REpositories)