3 results Refine Results
  1. 1
    by Krishnan, Padmanabhan
    Published 1993
    “...Dept. of Computer Science, University of Canterbury,...”
    Book
    Save to List
    Saved in:
    A semantic characterisation for faults in replicated systems /
  2. 2
    by Krishnan, Padmanabhan
    Published 1991
    “...Dept. of Computer Science, University of Canterbury,...”
    Book
    Save to List
    Saved in:
    A semantics for multiprocessor systems /
  3. 3
    by Krishnan, Padmanabhan
    Published 1994
    “...Dept. of Computer Science, University of Canterbury,...”
    Book
    Save to List
    Saved in:
    Pragmatics of the action semantics approach : fault tolerance as an example /

Search Tools: