REPRODUCTIVE BIOLOGY OF PEARL OYSTER (PINCTADA RADIATA, LEACH 1814) BASED ON MICROSCOPIC AND MACROSCOPIC ASSESSMENT OF BOTH SEXES IN THE EASTERN MEDITERRANEAN (SOUTH EVIA ISLAND)

Reproductive Biology of Pearl Oyster (Pinctada radiata, Leach 1814) Based on Microscopic and Macroscopic Assessment of Both Sexes in the Eastern Mediterranean (South Evia Island)

The Atlantic pearl oyster, Pinctada radiata (Leach, 1814), is an Indo-Pacific bivalve of the subtidal zone that has colonized habitats all over the Mediterranean.There is a lack of detailed information on the reproductive activity of P.radiata in Hellenic waters, especially following the recent amendment of national legislation aiming to regulate t

read more

Standard Type Soundness for Agents and Artifacts

Formal models, core calculi, and type systems, are important tools for rigorously stating the more subtle details of a language, to characterise and study its features and the correctness properties pentair hose of its programs.In this paper we present {FsimpAL} (FsimpaALlong), a formal calculus modelling the agent and artifact program abstractions

read more