Rob J. van Glabbeek, Ursula Goltz. Well-behaved flow event structures for parallel composition and action refinement. Theoretical Computer Science, 311(1-3):463-478, 2004. [doi]
@article{GlabbeekG04, title = {Well-behaved flow event structures for parallel composition and action refinement}, author = {Rob J. van Glabbeek and Ursula Goltz}, year = {2004}, doi = {10.1016/j.tcs.2003.10.031}, url = {http://dx.doi.org/10.1016/j.tcs.2003.10.031}, tags = {refinement, composition, data-flow}, researchr = {https://researchr.org/publication/GlabbeekG04}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {311}, number = {1-3}, pages = {463-478}, }