Erratum: Errata for Formal Aspects of Computing (2006) 18:495-517 and their consequences (Formal Aspects of Computing (2006) 18 (495-517))

Formal Aspects of Computing

Volumn 19, Issue 4, 2007, Pages 551-554

  Collinson, Matthew ^a   Pym, David ^a   Tofts, Chris ^a  

^a HEWLETT PACKARD LABORATORIES   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35349000116     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s00165-007-0047-2     Document Type: Erratum

References (2)

1. Pym D, Tofts C (2006) A calculus and logic of resources and processes. Formal Aspects Computing 18(4):495-517
2. Pym D, Tofts C (2007) Systems modelling via resources and processes: philosophy, calculus, semantics, and logic. In: Cardelli L, Fiore M, Winskel G (eds) Electronic notes in theoretical computer science (Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin), vol 107, p 545-587