What people are saying - Write a review
We haven't found any reviews in the usual places.
A Graph Model Based Approach to Specifications
8 other sections not shown
Other editions - View all
abort abortsjist abstract data type Alarm Status algorithm allocated ALSTEN analysis array assertion atomic action atomic operations atomic types Axiom Central Station communication Computer concepts concurrent program configuration constraints CORE crash crash count Customer data flow Data Structuring data type 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 Lamport layer Liskov locks maildrop mailer message passing Modula-2 module mutex object node notation operation output performed phase plist possible postcondition predicate problem Proc procedure processor programming language proof proposed system protocol queue received registry requirements Schedule selected sequence SREM stable storage statement subaction subsystem synchronization task techniques temporal logic termination total ordering true user authority valid variables Viewpoint