FCT'99 Preliminary Version A Protocol for Distributed Cooperative Work

نویسنده

  • Joseph Goguen
چکیده

After a brief review of hidden algebra, we give behavioral speci cations for set theory and closure operators, and then use these to give a behavioral speci cation of an abstract protocol to support distributed cooperative work structured by dependencies in such a way as to form what we call a weak closure operator. We give some correctness proofs for this protocol, and then describe a concrete instance of it, called the tatami protocol, that supports distributed cooperative proving. Finally, we draw some methodological conclusions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fct'99 Final Version a Protocol for Distributed Cooperative Work

After a brief review of hidden algebra, we give behavioral speciications for set theory and closure operators, and then use these to give a behavioral speciication of an abstract protocol to support distributed cooperative work structured by dependencies in such a way as to form what we call a weak closure operator. We give some correctness proofs for this protocol, and then describe a concrete...

متن کامل

numericalsgps, a package for numerical semigroups

Numericalsgps is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. Acknowledgements The first author's work was (partially) supported by the Centro de Matemática da Universidade do Porto (CMUP), financed by FCT (Portugal) t...

متن کامل

Distributed mechanical actuation of percussion instruments

This paper describes a system for interactive mechanically actuated percussion. Design principles regarding seamless control and retention of natural acoustic properties are established. Performance patterns on a preliminary version are examined, including the potential for cooperative and distributed performance.

متن کامل

Distributed Cooperative Web Servers

Traditional techniques for a distributed web server design rely on manipulation of central resources, such as routers or DNS services, to distribute requests designated for a single IP address to multiple web servers. The goal of the Distributed Cooperative Web Server (DCWS) system development is to explore application-level techniques for distributing web content. We achieve this by dynamicall...

متن کامل

Professionalism Mini-Evaluation Exercise in Finland: a preliminary investigation introducing the Finnish version of the P-MEX instrument

Introduction: Teaching medical professionalism is increasinglyacknowledged as an important aspect of medical education.The Professionalism Mini-Evaluation Exercise (P-MEX) is anassessment tool for evaluating medical professionalism, butno studies using it as a self-assessment instrument have beenreported. This paper reports on a preliminary investigation of theFinnish version of the P-MEX instr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999