A reference model for teleconferencing systems

Bonini, C.; Fokkink, Wan; Lesch, Arek

We present a specification in Z of the framework of a teleconferencing system, which combines text, computer graphics, video, audio and other features in a computer display. Teleconferencing systems offer the possibility to organize international meetings via internet.

Additional Metadata
ACM	Specifying and Verifying and Reasoning about Programs (acm F.3.1)
MSC	Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher	CWI
Series	Department of Computer Science [CS]
Citation APA APA Style APA-ALL Style AAA 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	Bonini, C., Fokkink, W.& Lesch, A. (1995). A reference model for teleconferencing systems. In Department of Computer Science [CS] ( R 9502). CWI.

Free Full Text ( Final Version , 214kb )

A reference model for teleconferencing systems

Publication

Publication

Address

CWI researchers

Questions or comments?

A reference model for teleconferencing systems

Publication

Publication

Workflow

Workflow

Add Content