TLA Specification of a Mechanism for Concurrent Exception Handling (2002)

Author(s): Zorzo AF, Randell B, Romanovsky A

      • Book Title: Concurrency in Dependable Computing
      • Pages: 41-59
      • Publisher: Kluwer Academic Publishers
      • Publication type: Book chapter
      • Bibliographic status: Published
        Staff

        Professor Brian Randell
        Emeritus Professor, and Senior Research Investigator

        Professor Alexander Romanovsky
        Prof of Computing Science