Specification and verification of database dynamics José FiadeiroAmílcar Sernadas OriginalPaper Pages: 625 - 661
Load sharing in distributed systems with failures Satish K. TripathiDavid FinkelErol Gelenbe OriginalPaper Pages: 677 - 689
Contributions to the semantics of logic perpetual processes Giorgio LeviCatuscia Palamidessi OriginalPaper Pages: 691 - 711