Scientific Annals of Cuza University, Volume 12

Volume 12, 2002

• Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras: A Tutorial on a Monadic Approach for Expressions Evaluation. 1-27 BibTeX
• Toader Jucan, Oana Captarencu: Three Level Petri Nets Rule Based Reduction. 29-52 BibTeX
• Dan Grigoras: Discovery of Resourses for Distributed Application Execution in Dynamic Clusters. 53-78 BibTeX
• Dorel Lucanu: Initial Logic and Induction in Algebraic Specification. 79-108 BibTeX
• Sinica Alboaie, Sabin C. Buraga, Lenuta Alboaie: An XML-based Object-Oriented Infrastructure for Developing Software Agents. 109-134 BibTeX
• Cristian Vidrascu, Toader Jucan: Concurrency-Degrees for Jumping Petri-Nets. 135-150 BibTeX