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

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

Abstract | BibTeX

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

Authors: Toader JUCAN, Oana CAPTARENCU

Abstract | BibTeX

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

Authors: Dan GRIGORAS

Abstract | BibTeX

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

Authors: Dorel LUCANU

Abstract | BibTeX

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

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

Abstract | BibTeX

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

Authors: Cristian VIDRASCU, Toader JUCAN

Abstract | BibTeX