Article PDF
References
Collinson M, Pym D, Tofts C (2007) Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences. Form Asp Comput 19(4):551–554
Pym D, Tofts C (2006) A calculus and logic of resources and processes. Form Asp Comp 18(4):495–517 (Errata in)
Pym D, Tofts C (2007) Systems modelling via resources and processes: philosophy, calculus, semantics, and logic. In: Cardelli L, Fiore M, Winskel G (eds) Computation, meaning and logic: articles dedicated to Gordon Plotkin. Electronic notes in theoretical computer science, vol 107. Elsevier, Amsterdam, pp 545–587 (Errata in)
Author information
Authors and Affiliations
Corresponding authors
Additional information
Communicated 15 June 2009 by J.V. Tucker
The online version of the original article can be found under doi:10.1007/s00165-009-0107-x.
Rights and permissions
About this article
Cite this article
Collinson, M., Pym, D. Erratum to: Algebra and logic for access control. Form Asp Comp 22, 483–484 (2010). https://doi.org/10.1007/s00165-010-0155-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-010-0155-2