Fundamenta Informaticae, Volume 40

Volume 40, Number 1, October-November 1999

Andris Ambainis, Rusins Freivalds, Carl H. Smith: Inductive Inference with Procrastination: Back to Definitions. 1-16
Patrick Doherty, J. Kachniarz, Andrzej Szalas: Meta-Queries on Deductive Databases. 7-30
C. A. Johnson: Processing Deductive Databases under the Disjunctive Stable Model Semantics. 31-51
Viorel Preoteasa: A Relation Between Unambiguous Regular Expressions and Abstract Data Types. 53-77
Kaile Su, Wei Li: Computation of Extensions of Seminormal Default Theories. 79-102

Maciej Koutny: Peter Lauer and COSY. 103-107
André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy: The AltaRica Formalism for Describing Concurrent Systems. 109-124
Eike Best, Alexander Lavrov: Generalised Composition Operations for High-level Petri Nets. 125-163
Nadia Busi, G. Michele Pinna: Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. 165-197
Raymond R. Devillers, Joël Goossens: General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks. 199-219
Andrea Maggiolo-Schettini, Simone Tini: Applying Techniques of Asynchronous Concurrency to Synchronous Languages. 221-250
Marta Pietkiewicz-Koutny: The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs. 251-283
M. W. Shields: An Acceptance Vector Semantics for Path Programs. 285-316

Luis Fariñas del Cerro, Olivier Gasquet: Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. 317-333
Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Full Abstractness of a Metric Semantics for Action Refinement. 335-382
Hung Son Nguyen, Sinh Hoa Nguyen: Rough Sets and Association Rule Generation. 383-405
Edward T. Ordman, Eugene Eberbach, A. Anwar: Generalized Mutual Exclusion with Semaphores Only. 407-422