Formal Specification of a Framework for Groupware Development

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 303-310
https://doi.org/10.1007/978-0-387-34945-9_22

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

MMConf: an infrastructure for building shared multimedia applications
Published by Association for Computing Machinery (ACM) ,1990
Fairness and related properties in transition systems ? a temporal logic to deal with fairness
Acta Informatica, 1983