Explicit fairness in testing semantics

DOI10.2168/LMCS-5(2:15)2009zbMath1163.68031arXiv0904.2340OpenAlexW3098302809MaRDI QIDQ3636814

Catuscia Palamidessi, D. Cacciagrano, Flavio Corradini

Publication date: 30 June 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Explicit fairness in testing semantics