Département
Sistemas Informáticos y Computación
Communications dans un congrès (10) Publications auxquelles un chercheur a participé
1997
-
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)
-
Constraint logic programming with hereditary Harrop formulas
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM
-
Denotational semantics for timed testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Eden coordination model for distributed memory systems
Proceedings of the International Workshop on High-Level Programming Models and Supportive Environments, HIPS
-
Introducing friendly testing
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997
-
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)
-
Testing semantics for unbounded nondeterminism
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The Eden coordination model for distributed memory systems
SECOND INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS
-
Un enfoque basado en conocimiento para la reutilización de frameworks
CAEPIA'97: actas
-
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)