Algebraic Reasoning About Timeliness

DOI10.4204/eptcs.383.3arXiv2308.10654OpenAlexW4385951208MaRDI QIDQ6197377

No author found.

Publication date: 19 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2308.10654

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Formalisations and applications of BPMN
• Property specifications for workflow modelling
• PerformERL: a performance testing framework for Erlang
• A Compositional Approach to Performance Modelling