Sistemas Informáticos y Computación

1997

1. A sound and complete proof system for probabilistic processes

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. Constraint logic programming with hereditary Harrop formulas

   LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM

3. Denotational semantics for timed testing

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

4. Eden coordination model for distributed memory systems

   Proceedings of the International Workshop on High-Level Programming Models and Supportive Environments, HIPS

5. Introducing friendly testing

   V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

6. Testing semantics for a probabilistic-timed process algebra

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

7. Testing semantics for unbounded nondeterminism

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

8. The Eden coordination model for distributed memory systems

   SECOND INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS

9. Un enfoque basado en conocimiento para la reutilización de frameworks

   CAEPIA'97: actas

10. Verification and refinement of distributed programs in a fair framework

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)