Fachbereich
Sistemas Informáticos y Computación
Publikationen (11) Publikationen, an denen Forscher/innen teilgenommen haben
1991
-
A complete proof system for timed observations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
ACCEPTANCE AUTOMATA - A FRAMEWORK FOR SPECIFYING AND VERIFYING TCSP PARALLEL SYSTEMS
PARLE 91 : PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, VOL 2
-
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)
-
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
-
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
-
From petri nets to linear logic
Mathematical Structures in Computer Science, Vol. 1, Núm. 1, pp. 69-101
-
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)
-
Operational Semantics for Timed Observations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Panorama de la informática educativa: de los métodos conductistas a las teorías cognitivas
Revista española de pedagogía, Vol. 49, Núm. 188, pp. 9-38
-
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
-
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