Metric Semantics for Second Order Communication

Evolving by Maximizing the Number of Rules: Complexity Study Mutual Mobile Membrane Systems with Surface Objects

In [20] we presented a semantic study of a language LJ that extends Hoares CSP model with communication on multiple channels and synchronization based on join patterns in the style of Join calculus. In this paper we consider a language L2 J that extends LJ with second order communication: sending and receiving of statements rather than values. We employ the mathematical methodology of metric se...

$C$-class and $F(psi,varphi)$-contractions on $M$-metric spaces

Partial metric spaces were introduced by Matthews in 1994 as a part of the study of denotational semantics of data flow networks. In 2014 Asadi and {it et al.} [New Extension of $p$-Metric Spaces with Some fixed point Results on $M$-metric paces, J. Ineq. Appl. 2014 (2014): 18] extend the Partial metric spaces to $M$-metric spaces. In this work, we introduce the class of $F(psi,varphi)$-contrac...

Studies in Ethnopragmatics, Cultural Semantics, and ‎Intercultural Communication: Ethnopragmatics and Semantic ‎Analysis, Lauren Sadow, Bet Peeters & Kerry Mullan (Eds.) ‎‎(2019), Springer, ISBN 978-981-32-9982-5‎

Identification of Riemannian foliations on the tangent bundle via SODE structure

The geometry of a system of second order differential equations is the geometry of a semispray, which is a globally defined vector field on TM. The metrizability of a given semispray is of special importance. In this paper, the metric associated with the semispray S is applied in order to study some types of foliations on the tangent bundle which are compatible with SODE structure. Indeed, suff...

Recurrent metrics in the geometry of second order differential equations

Given a pair (semispray $S$, metric $g$) on a tangent bundle, the family of nonlinear connections $N$ such that $g$ is recurrent with respect to $(S, N)$ with a fixed recurrent factor is determined by using the Obata tensors. In particular, we obtain a characterization for a pair $(N, g)$ to be recurrent as well as for the triple $(S, stackrel{c}{N}, g)$ where $stackrel{c}{N}$ is the canonical ...