1996
Tackling the Dagstuhl '94 specification problem with I/O automata
Publication
Publication
An I/O automata solution to the problem posed by Broy & Lamport at the Dagstuhl Workshop on Reactive Systems is presented. The problem, which concerns components that communicate by means of a procedure interface, consists of an untimed and a timed part. In this paper, both parts are solved completely.
Additional Metadata | |
---|---|
, , , | |
, , , | |
CWI | |
Department of Computer Science [CS] | |
Romijn, J. (1996). Tackling the Dagstuhl '94 specification problem with I/O automata. Department of Computer Science [CS]. CWI. |