Tackling the Dagstuhl '94 specification problem with I/O automata

Romijn, Judi

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
ACM	Network Protocols (acm C.2.2), Software/Program Verification (acm D.2.4), Models of Computation (acm F.1.1), Specifying and Verifying and Reasoning about Programs (acm F.3.1)
MSC	Models of computation (Turing machines, etc.) (msc 68Q05), Theory of computing (msc 68Qxx), Analysis of algorithms and problem complexity (msc 68Q25), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher	CWI
Series	Department of Computer Science [CS]
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Romijn, J. (1996). Tackling the Dagstuhl '94 specification problem with I/O automata. Department of Computer Science [CS]. CWI.

Free Full Text ( Final Version , 273kb )

Tackling the Dagstuhl '94 specification problem with I/O automata

Publication

Publication

Address

Publishing at CWI

Questions or comments?

Tackling the Dagstuhl '94 specification problem with I/O automata

Publication

Publication

Workflow

Workflow

Add Content