Sistemas Informáticos y Computación

1991

1. A complete proof system for timed observations

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

2. ACCEPTANCE AUTOMATA - A FRAMEWORK FOR SPECIFYING AND VERIFYING TCSP PARALLEL SYSTEMS

   PARLE 91 : PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, VOL 2

3. Acceptance automata: A framework for specifying and verifying TCSP parallel systems

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

4. Control del diseño en un sistema de síntesis de alto nivel

   Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991

5. Familias de operadores asociadas a las ecuaciones de la Magnetohidrodinámica

   Actas del XII C.E.D.Y.A. : (Congreso de Ecuaciones Diferenciales y Aplicaciones) : II Congreso de Matemática Aplicada : septiembre 1991

6. On narrowing strategies for partial non-strict functions

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

7. Operational Semantics for Timed Observations

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

8. Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems

   Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

9. Un sistema flexible de síntesis de alto nivel

   Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991