7,334 research outputs found
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)
We introduce a geometry of interaction model for Mazza's multiport
interaction combinators, a graph-theoretic formalism which is able to
faithfully capture concurrent computation as embodied by process algebras like
the -calculus. The introduced model is based on token machines in which
not one but multiple tokens are allowed to traverse the underlying net at the
same time. We prove soundness and adequacy of the introduced model. The former
is proved as a simulation result between the token machines one obtains along
any reduction sequence. The latter is obtained by a fine analysis of
convergence, both in nets and in token machines
On organizing principles of Discrete Differential Geometry. Geometry of spheres
Discrete differential geometry aims to develop discrete equivalents of the
geometric notions and methods of classical differential geometry. In this
survey we discuss the following two fundamental Discretization Principles: the
transformation group principle (smooth geometric objects and their
discretizations are invariant with respect to the same transformation group)
and the consistency principle (discretizations of smooth parametrized
geometries can be extended to multidimensional consistent nets). The main
concrete geometric problem discussed in this survey is a discretization of
curvature line parametrized surfaces in Lie geometry. We find a discretization
of curvature line parametrization which unifies the circular and conical nets
by systematically applying the Discretization Principles.Comment: 57 pages, 18 figures; In the second version the terminology is
slightly changed and umbilic points are discusse
- …