What people are saying - Write a review
We haven't found any reviews in the usual places.
9 other sections not shown
Other editions - View all
abort abstract data type Alarm Status algorithm allocated ALSTEN analysis array assertion atomic action atomic operations atomic types Axiom Central Station communication concepts concurrent concurrent program configuration constraints CORE crash crash count Customer data flow Data Structuring data type decision decomposed decomposition defined dequeue detect distributed systems ENQUEUE environment example exception handling execution failure Figure finite state machine formal functions global guardian handler calls identified implementation input interface layer Liskov locks maildrop mailer message passing Modula-2 module mutex object node notation operation output performed phase plist possible postcondition predicate problem procedure processor programming language proof proposed system protocol queue received registry requirements Schedule selected sequence SOMETYPE SREM stable storage statement subaction subsystem synchronization task techniques temporal logic termination total ordering true user authority valid variables Viewpoint