A Tutorial on a Monadic Approach for Expressions Evaluation, pages 1-27

Authors: Stefan ANDREI, Wei-Ngan CHIN, Gheorghe GRIGORAS

Three Level Petri Nets Rule Based Reduction, pages 29-52

Authors: Toader JUCAN, Oana CAPTARENCU

Discovery of Resourses for Distributed Application Execution in Dynamic Clusters, pages 53-78

Authors: Dan GRIGORAS

Initial Logic and Induction in Algebraic Specification, pages 79-108

Authors: Dorel LUCANU

An XML-based Object-Oriented Infrastructure for Developing Software Agents, pages 109-134

Authors: Sinica ALBOAIE, Sabin-Corneliu BURAGA, Lenuta ALBOAIE

Concurrency-Degrees for Jumping Petri-Nets, pages 135-

Authors: Cristian VIDRASCU, Toader JUCAN