Computing Bisimulation-Based Comparisons

DOI10.3233/FI-2018-1634zbMath1386.68108OpenAlexW2787647616MaRDI QIDQ4637906

Linh Anh Nguyen

Publication date: 3 May 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2018-1634

Mathematics Subject Classification ID

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

This page was built for publication: Computing Bisimulation-Based Comparisons