IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T12:55:12ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2016-03-23T13:33:53Z2016-04-06T07:11:35Zhttp://eprints.imtlucca.it/id/eprint/3323This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/33232016-03-23T13:33:53ZA 3h-flunitrazepam binding inhibitor is present in psychiatric patients’seraWe investigated the possible existence of endogenous compounds acting on benzodiazepine central receptors in the serum of patients with panic attacks or depression. Our results show the presence of a substance which inhibits the 3H-fiunitrazepam binding specifically in the samples taken from the patients’ groups, and which is not present in normal controls, in the range of concentrations used. This compound has a molecular weight below 1,000 daltons, is heat-stable, and resistant to proteolytic degradation. The demonstration of this inhibitor opens new perspectives in the study of the biochemistry of anxiety.Donatella MarazzitiPietro Pietrinipietro.pietrini@imtlucca.itClaudia MartiniGino GiannacciniGiulio PerugiGian Franco PlacidiGiovanni Battista CassanoAntonio Lucacchini2011-06-13T09:11:14Z2011-07-11T14:36:27Zhttp://eprints.imtlucca.it/id/eprint/386This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3862011-06-13T09:11:14ZExtensional Equivalences for Transition SystemsVarious notions of systems equivalence based on the reactions of systems to stimuli from the outside world are presented and compared. These notions have been proposed in the literature to allow abstraction from unwanted details in models of concurrent and communicating systems. The equivalences, already defined for different theories of concurrency, will be compared by adapting their definitions to labelled transition systems, a model which underlies many others. In the presentation of each equivalence, the aspects of system behaviours which are ignored and the identifications which are forced will be stressed. It will be shown that many equivalences, although defined very differently by following different intuitions about systems behaviour, turn out to be the same or to differ only in minor detail for a large class of transition systems.Rocco De Nicolar.denicola@imtlucca.it2011-06-13T09:08:57Z2011-07-11T14:36:27Zhttp://eprints.imtlucca.it/id/eprint/385This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3852011-06-13T09:08:57ZCCS without tau'sThe main point of this paper is that one can develop an adequate version of CCS which does not use the special combinator tau for internal actions. Instead, the choice operator +, whose semantics is somewhat unclear, is replaced by two new choice operators oplus and [], representing internal and external nondeterminism respectively. The operational semantics of the resulting language is simpler and the definition of testing preorders is significantly cleaner. The essential features of the original calculus are kept; this is shown by defining a translation from CCS to the new language which preserves testing preorders.Rocco De Nicolar.denicola@imtlucca.itMatthew Hennessy