Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation

From MaRDI portal
Publication:1878718

DOI10.1016/j.jlap.2004.03.002zbMath1072.68074OpenAlexW2046810743MaRDI QIDQ1878718

Irek Ulidowski, Shoji Yuen

Publication date: 8 September 2004

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.03.002




Related Items (5)



Cites Work




This page was built for publication: Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation