scholarly journals Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation

Author(s):  
Gianluigi Ferrari ◽  
Ugo Montanari ◽  
Marco Pistore
2019 ◽  
Author(s):  
Riyaz Bhat ◽  
John Chen ◽  
Rashmi Prasad ◽  
Srinivas Bangalore

2014 ◽  
Vol 49 (1) ◽  
pp. 595-606 ◽  
Author(s):  
Udi Boker ◽  
Thomas A. Henzinger ◽  
Arjun Radhakrishna
Keyword(s):  

2021 ◽  
Vol 178 (1-2) ◽  
pp. 1-30
Author(s):  
Florian Bruse ◽  
Martin Lange ◽  
Etienne Lozes

Higher-Order Fixpoint Logic (HFL) is a modal specification language whose expressive power reaches far beyond that of Monadic Second-Order Logic, achieved through an incorporation of a typed λ-calculus into the modal μ-calculus. Its model checking problem on finite transition systems is decidable, albeit of high complexity, namely k-EXPTIME-complete for formulas that use functions of type order at most k < 0. In this paper we present a fragment with a presumably easier model checking problem. We show that so-called tail-recursive formulas of type order k can be model checked in (k − 1)-EXPSPACE, and also give matching lower bounds. This yields generic results for the complexity of bisimulation-invariant non-regular properties, as these can typically be defined in HFL.


2019 ◽  
Vol 36 ◽  
pp. 101009 ◽  
Author(s):  
Wenqing (William) Xu ◽  
Mark Stalzer

1995 ◽  
Vol 118 (2) ◽  
pp. 191-207 ◽  
Author(s):  
M. Nielsen ◽  
G. Rozenberg ◽  
P.S. Thiagarajan

Author(s):  
Maurice H. ter Beek ◽  
Ferruccio Damiani ◽  
Michael Lienhardt ◽  
Franco Mazzanti ◽  
Luca Paolini

Author(s):  
P. G. Wright

SynopsisBeginning with fundamental results obtained by Mason for the effect of self-cooling on the evaporation of drops, and by Fuchs for the diffusional retardation of evaporation for small droplets of any radius, explicit expressions for the effect of the transport of heat on the rate of quasi-stationary growth or evaporation, are discussed.The simplest algebraic formulation of the results lends itself to interpretation as expressing a resistance to evaporation, the total resistance being the sum of four resistances in series. Two of these resistances, one to diffusion and one to the conduction of heat, are offered by the gaseous phase in bulk; and there are two corresponding resistances at the interface. Corrections are formulated for the effect of the heating of the droplet by radiation. These corrections may be expressed as a (finite) resistance in parallel with the other two resistances to the transfer of heat. Simplified equations are obtained for the evaporation of a liquid whose latent heat of vaporization is very large.Some remarks are made on the formation of a monodisperse aerosol by the growth of smaller droplets. Integrated expressions are obtained for particular cases of the evaporation of a droplet over a finite period of time.


Sign in / Sign up

Export Citation Format

Share Document