Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels

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]

Authors

Allan I. McInnes

This author has not been identified. Look up 'Allan I. McInnes' in Google

Brandon K. Eames

This author has not been identified. Look up 'Brandon K. Eames' in Google

Russell J. Grover

This author has not been identified. Look up 'Russell J. Grover' in Google