In this paper, I argue (a) that the predicate ‘‘true’’ is ambiguously used to express a deflationary and a substantial concept of truth and (b) that the two concepts are systematically related in that substantial truths are deflationary truths of a certain kind. Claim (a) allows one to accept the main insights of deflationism but still take seriously, and participate in, the traditional debate ...

Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models via adjunctions and (co)reflections while Joyal et al. have defined an abstract notion of equivalence, known as open map bisimilarity. One model has not been integrated into this framework: the causal trees of Darondeau ...

A three months male child was admitted in our department as a rare variant of bladder exstrophy (true duplicate bladder exstrophy). There are only 8 cases of this variant reported in the literature so far, we report an additional case to add the scarce literature.

In this work we present an algebraic framework for true concurrent stochastic processes. Concurrency is modelled using partial order relations. Markov processes are considered using an abstraction given by their excessive functions. Applications include embedded systems, as cardiac stimulators, encephalogram analysers and air traffic control systems. Copyright c ©2005 IFAC