An algorithm for reducing binary branchings

DOI10.1007/3-540-60692-0_55zbMath1354.68051OpenAlexW1495839963MaRDI QIDQ2956689

Jean-Claude Fernandez, Paul Caspi, Alain Girault

Publication date: 19 January 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60692-0_55

zbMATH Keywords

observational equivalenceobject code optimizationon-the-fly bisimulation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: An algorithm for reducing binary branchings