Journal: Fundamenta Informaticae

Volume 40, Issue 4

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

Volume 40, Issue 2-3

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

Volume 40, Issue 1

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