External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Calculus for Modeling Floating Authorizations

Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira. A Calculus for Modeling Floating Authorizations. In Christel Baier, Luís Caires, editors, Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Volume 10854 of Lecture Notes in Computer Science, pages 101-120, Springer, 2018. [doi]

Authors

Jovanka Pantovic

This author has not been identified. Look up 'Jovanka Pantovic' in Google

Ivan Prokic

This author has not been identified. Look up 'Ivan Prokic' in Google

Hugo Torres Vieira

This author has not been identified. Look up 'Hugo Torres Vieira' in Google
runs on