Interpreted collaboration protocols and their use in groupware prototyping
暂无分享,去创建一个
[1] P. David Stotts,et al. Temporal hyperprogramming , 1990, J. Vis. Lang. Comput..
[2] Willem R. van Biljon. Extending Petri Nets for Specifying Man-Machine Dialogues , 1988, Int. J. Man Mach. Stud..
[3] Philip Meir Merlin,et al. A study of the recoverability of computing systems. , 1974 .
[4] DewanPrasun,et al. A high-level and flexible framework for implementing multiuser user interfaces , 1992 .
[5] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..
[6] P. David Stotts,et al. Hyperdocuments as automata: trace-based browsing property verification , 1992, ECHT '92.
[7] P. David Stotts,et al. Hypertextual concurrent control of a Lisp Kernel , 1992, J. Vis. Lang. Comput..
[8] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.
[9] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[10] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[11] Gul A. Agha,et al. Visualizing actor programs using predicate transition nets , 1992, J. Vis. Lang. Comput..
[12] Joseph M. Goodman,et al. HAM: a general-purpose hypertext abstract machine , 1987, Hypertext.
[13] P. David Stotts,et al. Dynamic adaptation of hypertext structure , 1991, HYPERTEXT '91.
[14] Ephraim P. Glinert,et al. Novis: a visual laboratory for exploring the design of processor arrays , 1992, J. Vis. Lang. Comput..
[15] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[16] P. David Stotts,et al. Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.
[17] Prasun Dewan,et al. A high-level and flexible framework for implementing multiuser user interfaces , 1992, TOIS.
[18] Richard Furuta,et al. Modelling and Prototyping Collaborative Software Processes , 1993 .
[19] Anatol W. Holt,et al. Diplans: a new language for the study and implementation of coordination , 1988, TOIS.
[20] Wolfgang Reisig,et al. Petri Nets with Individual Tokens , 1982, Theor. Comput. Sci..