Contents of Fundamenta Informaticae Volume 50.

Number 1, February 2002

Number 2, March 2002

Number 3, April-May 2002

Contents of Volume 50, Number 1, February 2002

Click on title for abstract

A Complete Axiomatization of Process Temporal Logic 
Magdalena Kacprzak

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems 
Hanna Klaudel and Franck Pommereau

On Decision Trees for (1,2)-Bayesian Networks 
Mikhail Ju. Moshkov

Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory 
Claude Sureson

Contents of Volume 50, Number 2, March 2002

Volume on Application of Concurrency to System Design

prepared by Ryszard Janicki

Click on title for abstract

A structural encoding technique for the synthesis of asynchronous circuits 
Josep Carmona, Jordi Cortadella and Enric Pastor

Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation 
Oscar Garnica and Juan Lanchares, and Román Hermida

Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems 
Marta Pietkiewicz-Koutny

Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis 
Fei Xia and Ian Clark

Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems 
Wlodek M. Zuberek

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

Click on title for abstract

On Average Depth of Decision Trees Implementing Boolean Functions
Igor Chikalov

Self-describing Turing machines 
Maurice Margenstern and Yurii Rogozhin

On Fractal Dimension in Information Systems. Toward Exact Sets in Infinite Information Systems
Lech Polkowski

A Linear Time Special Case for MC Games 
Timo Poranen and Jyrki Nummenmaa

UPSILON: Universal Programming System with Incomplete Lazy Object Notation 
Brian Postow, Kenneth Regan and Carl H. Smith

Completeness of Timed mCRL 
M.A. Reniers, J.F. Groote, M.B. van der Zwaag and J. van Wamel