Mathematical Models for the Semantics of Parallelism (Lecture Notes in Computer

Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Scienc

Methods of programming : selected papers on the CIP project. Lecture notes in co

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer S

Esop 88: 2nd European Symposium on Programming (Lecture Notes in Computer Scienc

Automata, languages and programming. Lecture notes in computer science. Internat

The general theory of integration. Oxford mathematical monographs; Oxford scienc

Trends in Distributed Systems: CORBA and Beyond Lecture Notes in Computer Scienc