Synthesizing Finite-state Protocols from Scenarios and Requirements

Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite-state protocols using scenarios: we show that it is possible to automatically derive a distributed implementation from a set of scenarios augmented with a set of safety and liveness requirements, provided the given scenarios adequately \emph{cover} all the states of the desired implementation. We first derive incomplete state machines from the given scenarios, and then synthesis corresponds to completing the transition relation of individual processes so that the global product meets the specified requirements. This completion problem, in general, has the same complexity, PSPACE, as the verification problem, but unlike the verification problem, is NP-complete for a constant number of processes. We present two algorithms for solving the completion problem, one based on a heuristic search in the space of possible completions and one based on OBDD-based symbolic fixpoint computation. We evaluate the proposed methodology for protocol specification and the effectiveness of the synthesis algorithms using the classical alternating-bit protocol.Comment: This is the working draft of a paper currently in submission. (February 10, 2014

Controlling Window Protocols for Time-Constrained Communication in a Multiple Access Environment

For many time-constrained communication applications, such as packetized voice, a critical performance measure is the percentage of messages which are transmitted within a given amount of time after their arrival at a sending station. We examine the use of a group random access protocol based on time windows for achieving time-constrained communication in a multiple access environment. First, we formulate a policy for controlling protocol operation in order to minimize the percentage of messages with waiting times greater than some given bound. A semi-Markov decision model is then developed for protocol operation and three of the four optimal control elements of this policy are then determined. Although the semi-Markov decision model can also be used to obtain performance results, the procedure is too computationally expensive to be of practical use. Thus, an alternate performance model based on a centralized queueing system with impatient customers is developed. Protocol performance under the optimal elements of the control policy shows significant improvements over cases in which the protocol is not controlled in this manner. Simulation results are also presented to corroborate the analytic results

Fungal Planet description sheets : 1182–1283

Novel species of fungi described in this study include those from various countries as follows: Algeria, Phaeoacremonium adelophialidum from Vitis vinifera. Antarctica, Comoclathris antarctica from soil. Australia, Coniochaeta salicifolia as endophyte from healthy leaves of Geijera salicifolia, Eremothecium peggii in fruit of Citrus australis, Microdochium ratticaudae from stem of Sporobolus natalensis, Neocelosporium corymbiae on stems of Corymbia variegata, Phytophthora kelmanii from rhizosphere soil of Ptilotus pyramidatus, Pseudosydowia backhousiae on living leaves of Backhousia citriodora, Pseudosydowia indooroopillyensis, Pseudosydowia louisecottisiae and Pseudosydowia queenslandica on living leaves of Eucalyptus sp. Brazil, Absidia montepascoalis from soil. Chile, Ilyonectria zarorii from soil under Maytenus boaria. Costa Rica, Colletotrichum filicis from an unidentified fern. Croatia, Mollisia endogranulata on deteriorated hardwood. Czech Republic, Arcopilus navicularis from tea bag with fruit tea, Neosetophoma buxi as endophyte from Buxus sempervirens, Xerochrysium bohemicum on surface of biscuits with chocolate glaze and filled with jam. France, Entoloma cyaneobasale on basic to calcareous soil, Fusarium aconidiale from Triticum aestivum, Fusarium juglandicola from buds of Juglans regia. Germany, Tetraploa endophytica as endophyte from Microthlaspi perfoliatum roots. India, Castanediella ambae on leaves of Mangifera indica, Lactifluus kanadii on soil under Castanopsis sp., Penicillium uttarakhandense from soil. Italy, Penicillium ferraniaense from compost. Namibia, Bezerromyces gobabebensis on leaves of unidentified succulent, Cladosporium stipagrostidicola on leaves of Stipagrostis sp., Cymostachys euphorbiae on leaves of Euphorbia sp., Deniquelata hypolithi from hypolith under a rock, Hysterobrevium walvisbayicola on leaves of unidentified tree, Knufia hypolithi and Knufia walvisbayicola from hypolith under a rock, Lapidomyces stipagrostidicola on leaves of Stipagrostis sp., Nothophaeotheca mirabibensis (incl. Nothophaeotheca gen. nov.) on persistent inflorescence remains of Blepharis obmitrata, Paramyrothecium salvadorae on twigs of Salvadora persica, Preussia procaviicola on dung of Procavia sp., Sordaria equicola on zebra dung, Volutella salvadorae on stems of Salvadora persica. Netherlands, Entoloma ammophilum on sandy soil, Entoloma pseudocruentatum on nutrient poor (acid) soil, Entoloma pudens on plant debris, amongst grasses. New Zealand, Amorocoelophoma neoregeliae from leaf spots of Neoregelia sp., Aquilomyces metrosideri and Septoriella callistemonis from stem discolouration and leaf spots of Metrosideros sp., Cadophora neoregeliae from leaf spots of Neoregelia sp., Flexuomyces asteliae (incl. Flexuomyces gen. nov.) and Mollisia asteliae from leaf spots of Astelia chathamica, Ophioceras freycinetiae from leaf spots of Freycinetia banksii, Phaeosphaeria caricis-sectae from leaf spots of Carex secta. Norway, Cuphophyllus flavipesoides on soil in semi-natural grassland, Entoloma coracis on soil in calcareous Pinus and Tilia forests, Entoloma cyaneolilacinum on soil semi-natural grasslands, Inocybe norvegica on gravelly soil. Pakistan, Butyriboletus parachinarensis on soil in association with Quercus baloot. Poland, Hyalodendriella bialowiezensis on debris beneath fallen bark of Norway spruce Picea abies. Russia, Bolbitius sibiricus on а moss covered rotting trunk of Populus tremula, Crepidotus wasseri on debris of Populus tremula, Entoloma isborscanum on soil on calcareous grasslands, Entoloma subcoracis on soil in subalpine grasslands, Hydropus lecythiocystis on rotted wood of Betula pendula, Meruliopsis faginea on fallen dead branches of Fagus orientalis, Metschnikowia taurica from fruits of Ziziphus jujube, Suillus praetermissus on soil, Teunia lichenophila as endophyte from Cladonia rangiferina. Slovakia, Hygrocybe fulgens on mowed grassland, Pleuroflammula pannonica from corticated branches of Quercus sp. South Africa, Acrodontium burrowsianum on leaves of unidentified Poaceae, Castanediella senegaliae on dead pods of Senegalia ataxacantha, Cladophialophora behniae on leaves of Behnia sp., Colletotrichum cliviigenum on leaves of Clivia sp., Diatrype dalbergiae on bark of Dalbergia armata, Falcocladium heteropyxidicola on leaves of Heteropyxis canescens, Lapidomyces aloidendricola as epiphyte on brown stem of Aloidendron dichotomum, Lasionectria sansevieriae and Phaeosphaeriopsis sansevieriae on leaves of Sansevieria hyacinthoides, Lylea dalbergiae on Diatrype dalbergiae on bark of Dalbergia armata, Neochaetothyrina syzygii (incl. Neochaetothyrina gen. nov.) on leaves of Syzygium chordatum, Nothophaeomoniella ekebergiae (incl. Nothophaeomoniella gen. nov.) on leaves of Ekebergia pterophylla, Paracymostachys euphorbiae (incl. Paracymostachys gen. nov.) on leaf litter of Euphorbia ingens, Paramycosphaerella pterocarpi on leaves of Pterocarpus angolensis, Paramycosphaerella syzygii on leaf litter of Syzygium chordatum, Parateichospora phoenicicola (incl. Parateichospora gen. nov.) on leaves of Phoenix reclinata, Seiridium syzygii on twigs of Syzygium chordatum, Setophoma syzygii on leaves of Syzygium sp., Starmerella xylocopis from larval feed of an Afrotropical bee Xylocopa caffra, Teratosphaeria combreti on leaf litter of Combretum kraussii, Teratosphaericola leucadendri on leaves of Leucadendron sp., Toxicocladosporium pterocarpi on pods of Pterocarpus angolensis. Spain, Cortinarius bonachei with Quercus ilex in calcareus soils, Cortinarius brunneovolvatus under Quercus ilex subsp. ballota in calcareous soil, Extremopsis radicicola (incl. Extremopsis gen. nov.) from root-associated soil in a wet heathland, Russula quintanensis on acidic soils, Tubaria vulcanica on volcanic lapilii material, Tuber zambonelliae in calcareus soil. Sweden, Elaphomyces borealis on soil under Pinus sylvestris and Betula pubescens. Tanzania, Curvularia tanzanica on inflorescence of Cyperus aromaticus. Thailand, Simplicillium niveum on Ophiocordyceps camponoti-leonardi on underside of unidentified dicotyledonous leaf. USA, Calonectria californiensis on leaves of Umbellularia californica, Exophiala spartinae from surface sterilised roots of Spartina alterniflora, Neophaeococcomyces oklahomaensis from outside wall of alcohol distillery. Vietnam, Fistulinella aurantioflava on soil. Morphological and culture characteristics are supported by DNA barcodes.http://www.ingentaconnect.com/content/nhn/pimjBiochemistryForestry and Agricultural Biotechnology Institute (FABI)GeneticsMicrobiology and Plant PathologyPlant Production and Soil Scienc