Team Automata for Spatial Access Control

• van der Aalst, W., Barthelmess, P., and Ellis, C.A. (2000): ‘Workflow Modeling using Proclets’. Technical Report CU-CS-900-00, Computer Science Department, University of Colorado.

  Google Scholar 

• Ajmone Marson, M., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. (1995): Modelling with generalized stochastic Petri nets, John Wiley & Sons, Chichester.

  Google Scholar 

• Attie, P.C., Francez, N., and Grumberg, O. (1990): ‘Fairness and hyperfairness in multi-party interactions’, in Proceedings of the POPL’90 ACM Symposium on Principles of Programming Languages, San Francisco, California, ACM Press, pp. 292–305.

  Google Scholar 

• ter Beek, M.H., Ellis, C.A., Kleijn, J., and Rozenberg, G. (1999): ‘Synchronizations in Team Automata for Groupware Systems’. Technical Report TR-99-12, Leiden Institute of Advanced Computer Science, Universiteit Leiden.

  Google Scholar 

• Brookes, S.D., Hoare, C.A.R., and Roscoe, A.W. (1984): ‘A theory of communicating sequential processes’, Journal of the ACM, vol. 31,no. 3, pp. 560–599.

  Article  MathSciNet  Google Scholar 

• Bullock, A. and Benford, S. (1997): ‘Access Control in Virtual Environments’, in D. Thalmann, S. Feiner, and G. Singh (eds.): Proceedings of the VRST’97 ACM Symposium on Virtual Reality Software and Technology, Lausanne, Switzerland, ACM Press, pp. 29–35.

  Google Scholar 

• Bullock, A. (1998): SPACE: Spatial Access Control in Collaborative Virtual Environments. Ph.D. thesis. Department of Computer Science, University of Nottingham.

  Google Scholar 

• Bullock, A. and Benford, S. (1999): ‘An access control framework for multi-user collaborative environments’, in Proceedings ofthe GROUP’99 International ACM SIGGROUP Conference on Supporting Group Work, Phoenix, Arizona, ACM Press, pp. 140–149.

  Google Scholar 

• Clarke Jr., E.M., Grumberg, O., and Peled, D.A. (1999): Model Checking, MIT Press, Cambridge, Massachusetts.

  Google Scholar 

• Dewan, P. and Shen, H. (1998): ‘Flexible Meta Access-Control for Collaborative Applications’, in E. Churchill, D. Snowdon, and G. Golovchinsky (eds.): Proceedings of the CSCW’98 ACM Conference on Computer Supported Cooperative Work, Seattle, Washington, ACM Press, pp. 247–256.

  Google Scholar 

• Ellis, C.A. (1997): Team Automata for Groupware Systems’, in J. Clifford, B. Linds-day and D. Maier (eds.): Proceedings of the GROUP’97 International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, Phoenix, Arizona, ACM Press, pp. 415–424.

  Google Scholar 

• Evangelist, M., Shen, V.Y., Forman, I.R., and Graf, M. (1988): ‘Using Raddle to design distributed systems’, in Proceedings ofthe ICSE’88 International Conference on Software Engineering, Singapore, IEEE Computer Society Press, pp. 102–111.

  Google Scholar 

• Keesmaat, N.W. (1996): Vector Controlled Concurrent Systems, Ph.D. thesis, Leiden University.

  Google Scholar 

• Lynch, N.A. (1996): Distributed Algorithms, Morgan Kaufmann Publishers, San Mateo, California.

  Google Scholar 

• Müller, O. (1998): A Verification Environment for I/O Automata Based on Formalized Meta-Theory. Ph.D. thesis, Technische Universität München.

  Google Scholar 

• Nutt, G.J. (1997): Operating Systems: A Modern Perspective, Addison-Wesley Publishers, Reading, Massachusetts.

  Google Scholar 

• Reisig, W., and Rozenberg, G. (eds.) (1998): Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol. 1491, Springer-Verlag, Berlin.

  Google Scholar 

• Rodden, T. (1996): ‘Populating the Application: A Model of Awareness for Cooperative Applications’, in M. Ackerman (ed.): Proceedings ofthe CSCW’96 ACM Conference on Computer Supported Cooperative Work, Boston, Massachusetts, ACM Press, pp. 87–96.

  Google Scholar 

• Shen, H. and Dewan, P. (1992): ‘Access Control for Collaborative Environments’, in J. Turner and R. Kraut (eds.): Proceedings ofthe CSCW’92 ACM Conference on Computer Supported Cooperative Work, Toronto, Canada, ACM Press, pp. 51–58.

  Google Scholar 

• Sikkel, K. (1997): ‘A Group-based Authorization Model for Cooperative Systems’, in J. Hughes, W. Prinz, T. Rodden, and K. Schmidt (eds.): Proceedings ofthe ECSCW’97 European conference on Computer Supported Cooperative Work, Lancaster, UK, Kluwer Academic Publishers, pp. 345–360.

  Google Scholar 

Download references