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]

Abstract

Abstract is missing.