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
• Toader Jucan, Oana Captarencu: Three Level Petri Nets Rule Based Reduction. 29-52
• Dan Grigoras: Discovery of Resourses for Distributed Application Execution in Dynamic Clusters. 53-78
• Dorel Lucanu: Initial Logic and Induction in Algebraic Specification. 79-108
• Sinica Alboaie, Sabin C. Buraga, Lenuta Alboaie: An XML-based Object-Oriented Infrastructure for Developing Software Agents. 109-134
• Cristian Vidrascu, Toader Jucan: Concurrency-Degrees for Jumping Petri-Nets. 135-150