Fundamenta Informaticae, Volume 50

Volume 50, Number 1, February 2002

• Danièle Beauquier: Markov Decision Processes and Deterministic Büchi Automata. 1-13
• Magdalena Kacprzak: A Complete Axiomatization of Process Temporal Logic. 15-31
• Hanna Klaudel, Franck Pommereau: A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. 33-55
• Mikhail Moshkov: On Decision Trees for (1, 2)-Bayesian Networks. 57-76
• Claude Sureson: Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory. 77-110

Volume 50, Number 2, March 2002

• Michael Baldamus, Klaus Schneider: The BDD Space Complexity of Different Forms of Concurrency. 111-133
• Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. 135-154
• Oscar Garnica, Juan Lanchares, Román Hermida: Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation. 155-174
• Marta Pietkiewicz-Koutny: Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems. 175-203
• Fei Xia, Ian G. Clark: Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis. 205-222
• Wlodzimierz M. Zuberek: Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems. 223-241

Volume 50, Number 3-4, April-May 2002

• Philippe Balbiani, Dimiter Vakarelov: A Modal Logic for Indiscernibility and Complementarity in Information Systems. 243-263
• Igor Chikalov: On Average Depth of Decision Trees Implementing Boolean Functions. 265-284
• Maurice Margenstern, Yurii Rogozhin: Self-describing Turing machines. 285-303
• Lech Polkowski: On Fractal Dimension in Information Systems. Toward Exact Sets in Infinite Information Systems. 305-314
• Timo Poranen, Jyrki Nummenmaa: A Linear Time Special Case for MC Games. 315-324
• Brian Postow, Kenneth W. Regan, Carl H. Smith: UPSILON: Universal Programming System with Incomplete Lazy Object Notation. 325-359
• Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel: Completeness of Timed mCRL. 361-402