Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

Jos C. M. Baeten, D. A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, R. J. M. Theunissen. Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electronic Notes in Theoretical Computer Science, 209:21-53, 2008. [doi]

Authors

Jos C. M. Baeten

Identified as Jos C. M. Baeten

D. A. van Beek

This author has not been identified. Look up 'D. A. van Beek' in Google

Pieter J. L. Cuijpers

This author has not been identified. Look up 'Pieter J. L. Cuijpers' in Google

Michel A. Reniers

This author has not been identified. Look up 'Michel A. Reniers' in Google

J. E. Rooda

This author has not been identified. Look up 'J. E. Rooda' in Google

Ramon R. H. Schiffelers

This author has not been identified. Look up 'Ramon R. H. Schiffelers' in Google

R. J. M. Theunissen

This author has not been identified. Look up 'R. J. M. Theunissen' in Google