A Fixpoint Semantics of Event Systems with and without Fairness Assumptions

We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for deriving "leads-to" properties are proved in this general framework. The general framework is instantiated to minimal progress and weak fairness assumptions and similar results are obtained. We show the power of these results by deriving sufficient conditions for "leads-to" under minimal progress proving soundness of proof obligations without reasoning over state-traces

Nouveaux biohorizons et propositions pour le découpage biozonal ammonitique du Barrémien supérieur du Sud-Est de la France

International audienceUn nouveau découpage biozonal ammonitique du Barrémien supérieur du Sud-Est de la France est proposé. Il tient compte des renouvellements fauniques, des données séquentielles ainsi que des données historiques. Il est enrichi de quatre biohorizons nouveaux. Le Barrémien supérieur comporte à présent les trois biozones (anciennement six) à Vandenheckei, Sartousiana et Giraudi. La première contient les trois sous-zones à Uhligi, dont le statut est discuté, Sayni et Barremense, ainsi que les deux nouveaux biohorizons à Marchandi et Breistrofferi (sommet de la Sous-Zone à Barremense). La Biozone à Sartousiana admet les sous-zones à Limentinus, Provincialis et Feraudianus. Cette dernière sous-zone perd son statut de biozone par des arguments paléontologiques et stratigraphiques. Six biohorizons sont reconnus dans la Biozone à Sartousiana : Limentinus, Provincialis, Casanovai, Feraudianus, Magnini et Autrani. La Biozone à Giraudi comprend les sous-zones à Giraudi, Sarasini et Waagenoides, ainsi que trois biohorizons : Giraudi, Emerici et Puzosianum

L'influence de la variabilité intraspécifique sur la taxinomie, la biostratigraphie et l'évolution des ammonites : une approche paléobiologique : exemples pris dans le Jurassique supérieur et le Crétacé inférieur

The issue of this work involves concrete case of application of the palaeobiological approach in ammonites. Special attention was given to intraspecific variability and its taxonomic consequences and the study of evolutionary processes and patterns of the groups studied, in order to draw generalizations. Paleobiological studies on a variety of examples show that the degree of variability and its consideration by the authors has a particular influence on taxonomic concepts, and consequently on the biostratigraphy and the understanding of evolutionary mechanisms. Westermann laws seem to be dominant to explain intraspecific variability of a large number of ammonites groups, but they are not the only source of covariation and their influence must be relativized against other factors usually not taken into account. Factors of intraspecific variability recognized are: (1) dimorphism, (2) a dipolar variability in the strict application of the first Westermann’s law, (3) changes compared to the general statement of the law, (4) tripolar variability, (5) heterochronic relationships morphological dependent or independent, (6) an attenuation factor of ornamentation, and (7) various coiling factors related or not to other morphological and ornamental characters in heteromorphic ammonites.La problématique de ce travail concerne des cas concrets d'application de l'approche paléobiologique chez les ammonites. Une attention spéciale a été donnée à la variabilité intraspécifique et ses conséquences taxinomiques, ainsi qu'à l'étude des patterns et processus évolutifs des groupes étudiés, afin d'en tirer des généralités. Les études paléobiologiques sur des exemples très variés montrent que la variabilité et le degré de sa prise en compte par les auteurs a une influence particulière sur les conceptions taxinomiques, et par conséquent sur la biostratigraphie et sur la compréhension des mécanismes évolutifs. Les lois de Westermann semblent être prépondérantes pour expliquer la variabilité intraspécifique d'un grand nombre de groupes d'ammonites, mais elles ne sont pas la seule source de covariation et leur influence doit être relativisée face à d'autres facteurs habituellement peu pris en compte. Les facteurs de la variabilité intraspécifique reconnus concernent : (1) le dimorphisme, (2) une variabilité dipolaire dans l'application stricte de la première loi de Westermann, (3) des variation par rapport à l'énoncé général de cette loi, (4) une variabilité tripolaire, (5) des relations hétérochroniques morphologiques dépendantes ou indépendantes, (6) un facteur d'atténuation de l'ornementation, et (7) différents facteurs d'enroulement liés ou non à d'autres caractères morphologiques et ornementaux chez les ammonites hétéromorphes

Train to retain:Training opportunities, positive reciprocity, and expected retirement age

This article contributes to research on older workers' sustainable employment by investigating the relation between training and expected retirement age. Past research has produced inconsistent findings, partly because studies rarely distinguish between the effects of training opportunities and actual training participation. To address this limitation, we examine the incremental effect of training opportunities over and above actual training participation. Grounded in social exchange theory, we argue that the effect of training opportunities on expected retirement age depends on employees' positive reciprocity orientation. Using matched employer–employee data (880 employees matched to 284 employers) our findings show that training opportunities associate with expected retirement age over and above employees' actual training participation, but only for employees with strong positive reciprocity beliefs. Moreover, a supplementary analysis showed that the strengthening effect of positive reciprocity only holds for organizations that are financially healthy. These findings are consistent with the idea that positive reciprocators will only avoid early retirement as a response to training opportunities when it is seen as a credible gesture to facilitate employees' future employability

L'origine des Hemihoplitidae téthysiens testée par la cladistique (Ancyloceratina, Ammonoidea, Cretaceous inférieur) : un événement migratoire ?

The Late Barremian Hemihoplitidae (Ancyloceratina, Ammonoidea) are widely known in the northern Tethyan Margin and the Essaouira-Agadir Basin (Morocco). Their rapid evolution and diversification make them one of the key groups for that period, but their origin remains poorly known and several competing hypotheses have been published. These hypotheses are tested here with cladistic analysis in order to reject those receiving the least support and discuss those well supported. The analysis discards the Crioceratitidae, Emericiceratidae (Emericiceras and Honnoratia) and Toxancyloceras as stem-groups of the Hemihoplitidae (Gassendiceras). The Toxancyloceras appear instead to be a sister-taxon of the Moutoniceras, so we propose the latter to be classified with the Ancyloceratidae rather than with the Heteroceratidae. The best supported hypothesis assumes that the Hemihoplitidae first appeared suddenly in the Essaouira-Agadir Basin at the end of the Early Barremian from small populations of Boreal Paracrioceras. These latter could have migrated southward episodically before invading the northern Tethyan margin at the beginning of the Late Barremian. As a consequence, the Paracrioceratidae fam. nov. is proposed to include the Boreal groups Fissicostaticeras / Paracrioceras / Parancyloceras, and Gassendiceras essaouirae sp. nov. is proposed as a new name for the Moroccan endemic "Barrancyloceras" maghrebiense sensu Company et al., 2008, non Immel, 1978.Les Hemihoplitidae du Barrémien supérieur (Ancyloceratina, Ammonoidea) sont connus sur la plus grande partie de la marge Nord Téthysienne et dans le Bassin de Essaouira-Agadir (Maroc). Leur évolution et leur diversification rapide en font un des groupes clés pour cette période, mais leur origine reste peu connue et plusieurs hypothèses contradictoires ont été développées dans la littérature. Ces hypothèses sont testées ici par une analyse cladistique afin d'écarter les moins étayées d'entre elles et de discuter les meilleures. L'analyse écarte les Crioceratitidae, les Emericiceratidae (Emericiceras et Honnoratia) et les Toxancyloceras en tant que groupe-souche pour les Hemihoplitidae (Gassendiceras). D'autre part, les Toxancyloceras apparaissent être taxon-frêre des Moutoniceras, aussi est-il proposé de classer ces derniers parmi les Ancyloceratidae plutôt que dans les Heteroceratidae. L'hypothèse la mieux soutenue suggère que les Hemihoplitidae seraient initialement apparus soudainement à la fin du Barrémien inférieur dans le Bassin d'Essaouira-Agadir à partir de petites populations de Paracrioceras boréaux. Ces derniers auraient pu migrer épisodiquement vers le Sud avant d'envahir la marge Nord-Téthysienne au début du Barrémien supérieur. En conclusion, la Famille des Paracrioceratidae fam. nov. est proposée pour individualiser le groupe boréal Fissicostaticeras / Paracrioceras / Parancyloceras, et Gassendiceras essaouirae sp. nov. est proposé comme nom nouveau pour désigner les "Barrancyloceras" maghrebiense sensu Company et al., 2008, non Immel, 1978, endémiques du Maroc

Description de Pseudoshasticrioceras bersaci nov. sp. (Ammonoidea, Gassendiceratinae), et nouveau biohorizon ammonitique pour le Barrémien supérieur du Sud-Est de la France

Des recherches dans la sous-zone à Feraudianus ont permis la découverte d'une nouvelle espèce de Pseudoshasticrioceras : Pseudoshasticrioceras bersaci nov. sp. Son étude apporte des éléments concernant l'évolution des derniers Gassendiceratinae BERT et alii, 2006, ainsi que sur les relations entres les genres Pseudoshasticrioceras DELANOY, 1998, et Gassendiceras BERT et alii, 2006. En particulier cette nouvelle espèce est issue de Pseudoshasticrioceras magnini (DELANOY, 1992) par des processus d'altération de l'ontogenèse (retardation de l'ornementation - néoténie). En revanche, l'évolution vers Pseudoshasticrioceras autrani DELANOY, 1998, implique une "rupture" de ce processus qui pourrait éventuellement être mise en parallèle avec les variations des conditions environnementales. D'autre part, la position stratigraphique très précise de Pseudoshasticrioceras bersaci nov. sp., ainsi que sa position dans la lignée anagénétique des Pseudoshasticrioceras, montrent son intérêt en tant que marqueur biostratigraphique : le nouveau biohorizon à Bersaci est proposé ; il est situé entre les biohorizons à Magnini et à Autrani.Research in the Feraudianus Subzone of the Sartousiana Zone of the Barremian stage led to the discovery of a new species of Pseudoshasticrioceras: P. bersaci nov. sp. Its study provides evidence concerning the developments of the latest Gassendiceratinae BERT et alii, 2006, and the relationship between the genus Pseudoshasticrioceras DELANOY, 1998, and Gassendiceras BERT et alii, 2006. In particular, this new species is derived from Pseudoshasticrioceras magnini (DELANOY, 1992) by a minor revision in the processes of ontogenesis (retardation of ornamentation - neoteny). However, the evolution towards Pseudoshasticrioceras autrani DELANOY, 1998, implies a "failure" in this process that may possibly be related to parallel changes in environmental conditions. On the other hand, the very closely defined stratigraphic position of Pseudoshasticrioceras bersaci nov. sp., and its position in the anagenetic lineage of Pseudoshasticrioceras, demonstrates its interest as a biostratigraphic marker: a new Bersaci Biohorizon is proposed; it is located between the Magnini and the Autrani biohorizons

New biohorizons and proposal for a revision of the ammonite biozonation of the Upper Barremian of southeastern France

A new ammonite biozonal scheme is proposed for the Upper Barremian of southeastern France. It takes into account faunal changes, sequence stratigraphy and historical data. Four new biohorizons are proposed. At present, three (formerly six) are accepted for the Upper Barremian: the Vandenheckei, Sartousiana and Giraudi biozones. The first contains three subzones, the Uhligi (current status discussed), the Sayni and the Barremense subzones, and two new biohorizons, the Marchandi and Breistrofferi biohorizons (top of the Barremense Subzone). The Sartousiana Biozone now includes the Limentinus, Provincialis and Feraudianus subzones. This last one lost its status of biozone because of paleontologic and stratigraphic arguments. Six biohorizons are recognized in the Sartousiana Biozone: the Limentinus, Provincialis, Casanovai, Feraudianus, Magnini and Autrani biohorizons. The Giraudi Biozone includes the Giraudi, Sarasini and Waagenoides subzones and the Giraudi, Emerici and Puzosianum biohorizons.Un nouveau découpage biozonal ammonitique du Barrémien supérieur du Sud-Est de la France est proposé. Il tient compte des renouvellements fauniques, des données séquentielles ainsi que des données historiques. Il est enrichi de quatre biohorizons nouveaux. Le Barrémien supérieur comporte à présent les trois biozones (anciennement six) à Vandenheckei, Sartousiana et Giraudi. La première contient les trois sous-zones à Uhligi, dont le statut est discuté, Sayni et Barremense, ainsi que les deux nouveaux biohorizons à Marchandi et Breistrofferi (sommet de la Sous-Zone à Barremense). La Biozone à Sartousiana admet les sous-zones à Limentinus, Provincialis et Feraudianus. Cette dernière sous-zone perd son statut de biozone par des arguments paléontologiques et stratigraphiques. Six biohorizons sont reconnus dans la Biozone à Sartousiana : Limentinus, Provincialis, Casanovai, Feraudianus, Magnini et Autrani. La Biozone à Giraudi comprend les sous-zones à Giraudi, Sarasini et Waagenoides, ainsi que trois biohorizons : Giraudi, Emerici et Puzosianum

L'horizon à Dichotomus : proposition d'une nouvelle unité biochronologique de la zone à Giraudi du Barrémien supérieur du Sud-Est de la France, et considérations sur le genre Imerites ROUCHADZÉ (Ammonitina, Gassendiceratinae)

Les récentes révisions du genre Imerites ROUCHADZÉ permettent à présent d'introduire un nouvel horizon biochronologique afin de mieux définir la limite inférieure de la Zone à Giraudi : l'horizon à Dichotomus. Par l'application du concept de la zone d'intervalle, l'utilisation de cet horizon permet de conserver la limite inférieur actuelle de la zone à Giraudi telle qu'elle a été acceptée par les auteurs, et ainsi de contribuer à la stabilisation du schéma zonal du Barrémien. Cette stabilisation est aussi renforcée par l'abandon de l'usage de "Crioceras" cristatus d'ORBIGNY (nomen dubium) qui ne devrait pas être utilisé comme espèce indice au détriment de Imerites giraudi (KILIAN). La classification, l'origine et la variabilité intraspécifique du genre Imerites ROUCHADZÉ sont aussi discutées.Recent revisions of the genus Imerites ROUCHADZÉ make it possible to introduce a new bio-chronologic horizon to define more precisely the lower boundary of the Giraudi Zone: the Dichotomus Horizon. Using the concept of 'interval zone', this new horizon maintains the current lower boundary of the Giraudi Zone as accepted by authors, and thus contributes to the stabilization of the Barremian zonal system. This stabilization is also strengthened by abandonment of the use of "Crioceras" cristatus d'ORBIGNY (nomen dubium) that ought not be used as an index species in detriment of Imerites giraudi (KILIAN). The classification, origin, and intraspecific variation of the genus Imerites ROUCHADZÉ are exa-mined

La Formation des Argiles de Saïda (Jurassique supérieur) dans le domaine tlemcenien oriental (Takhemaret, Algérie) : données biostratigraphiques,ichnologiques et sédimentologiques

International audienceThe study area is located in the outskirt to the Takhemaretvillage, constituting part of the Saïda Mountains, eastern segment of the tlemcenian domain (northwest Algeria). In thisarea, the “Argiles de Saïda” Formation is subdivided into three lithostratigraphic units : the lower clay-sandstone unit,the clay-carbonate unit and the upper clay-sandstone unit. They were previously assigned to the Callovian-Oxfordian.However, the newly discovered ammonites assign the “Argiles de Saïda” Formation to the Middle (TransversariumBiozone)-Upper (Bifurcatus Biozone) Oxfordian. Ichnofacies and sedimentary facies analyses indicate a shallow detritalor carbonate platform depositional environment, with combined hydrodynamic influence (tides, swells, strong waves) andexceptional strong currents (gravity currents and storms).La région d’étude se localise aux environs du village de Takhemaret, dans les Monts de Saïda, segment oriental dudomaine tlemcenien (nord-ouest algérien). Dans cette région, la Formation des Argiles de Saïda a été subdivisée en troisunités lithostratigraphiques, respectivement argilo-gréseuse inférieure, argilo-carbonatée et argilo-gréseuse supérieure.Ces unités ont été attribuées au Callovo-Oxfordien. Cependant, de nouvelles récoltes d’ammonites permettent à présentde les attribuer à l’Oxfordien moyen (Zone à Transversarium) et supérieur (Zone à Bifurcatus). L’analyse des ichnofacièset des faciès sédimentaires témoigne d’un milieu de plateforme peu profonde, détritique ou carbonatée, à influencehydrodynamique (marées, houles, vagues fortes) combinée à des courants forts exceptionnels (courants gravitaires,tempêtes)