Back to Search
Start Over
Translations between flowchart schemes and process graphs
Translations between flowchart schemes and process graphs
- 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