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