Back to Search Start Over

Translations between flowchart schemes and process graphs

Translations between flowchart schemes and process graphs

Authors :
Gheorghe Stefanescu
Jan A. Bergstra
Source :
Fundamentals of Computation Theory ISBN: 9783540571636, FCT
Publication Year :
1993
Publisher :
Springer Berlin Heidelberg, 1993.

Abstract

In a flowchart scheme an atomic action is modelled as a vertex (box), while in a process graph an atomic action is modelled as an edge. We define translations between these two graphical representations. By using these translations, we show that the classical bisimulation equivalence on process graphs coincides with the natural extension of the classical step-bystep flowchart equivalence to the nondeterministic case. This result allows us to translate axiomatisation results from flowcharts to processes and viceversa.

Details

ISBN :
978-3-540-57163-6
ISBNs :
9783540571636
Database :
OpenAIRE
Journal :
Fundamentals of Computation Theory ISBN: 9783540571636, FCT
Accession number :
edsair.doi...........6405e0b6f28f570aec9858f8eef1d7aa
Full Text :
https://doi.org/10.1007/3-540-57163-9_11