Abdellatif Obaid

Learn More
Leaf area of a plant is an important indicator to analyze and assess the growth and estimate the production potential for the plant species under study. Leaf area measurements are important in estimating biomass productivity, adaptation to the environment, nutrition and soil-water relations [1]. In this paper we propose a rapid, accurate and yet simple(More)
LOTOS is an executable specification language for protocols and services currently being standardized within ISO. It is based on an extended version of Milner's Calculus of Communicating Systems (CCS) and ACT ONE Abstract Data Type formalism. After a brief introduction to LOTOS, we give here an account of a prototype LOTOS interpreter, which includes an(More)