The purpose of this workshop was to provide a general forum for distributed systems researchers. Special em- phasis was placed on research activities...
CRYPTO is a conference devoted to all aspects of cryptologic research. It is held each year at the University of California at Santa Barbara. Annual m...
Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, espec...
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably c...
The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for Internat...
