Fundamenta Informaticae, Volume 20

Volume 20, Number 1/2/3, March, April, May 1994

• J. W. de Bakker, Erik P. de Vink: Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. 3-34
• Jon Doyle: Reasoned Assumptions and Rational Psychology. 35-73
• Andrzej Ehrenfeucht, Grzegorz Rozenberg: Square Systems. 75-111
• Melvin Fitting: Kleene's Three Valued Logics and Their Children. 113-131
• Tero Harju, Grzegorz Rozenberg: Reductions for Primitive 2-Structures. 133-144
• Jack Minker, Carolina Ruiz: Semantics for Disjunctive Logic Programs with Explicit and Default Negation. 145-192
• Ugo Montanari, Daniel Yankelevich: Combining CCS and Petri Nets Via Structural Axioms. 193-229
• Boris A. Trakhtenbrot: Compositional Proofs for Networks of Processes. 231-275

Volume 20, Number 4, June 1994

• Lidia Tendera: A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step. 277-285
• Thomas Noll, Heiko Vogler: Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. 285-332
• Cosimo Laneve: Distributive Evaluations of lambda-calculus. 333-352
• Matthias Baaz, Alexander Leitsch: On Skolemization and Proof Complexity. 353-379
• Kostas Skandalis: On the Characterization of Input Sets as Output Sets. 381-392