1986
Syntax and defining equations for an interrupt mechanism in process algebra
Publication
Publication
Fundamenta Informaticae Issue 2 p. 127- 167
Additional Metadata | |
---|---|
IOS Press | |
Fundamenta Informaticae | |
Organisation | Specification and Analysis of Embedded Systems |
Baeten, J., Bergstra, J., & Klop, J. W. (1986). Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae, (2), 127–167. |