Allan I. McInnes, Brandon K. Eames, Russell J. Grover. Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 41(1):34-49, 2011. [doi]
@article{McInnesEG11, title = {Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels}, author = {Allan I. McInnes and Brandon K. Eames and Russell J. Grover}, year = {2011}, doi = {10.1109/TSMCA.2010.2048749}, url = {http://dx.doi.org/10.1109/TSMCA.2010.2048749}, tags = {process algebra, data-flow, algebra}, researchr = {https://researchr.org/publication/McInnesEG11}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A}, volume = {41}, number = {1}, pages = {34-49}, }