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