scholarly journals Nonlocal Flow of Control and Kleene Algebra with Tests

2008 ◽  
Author(s):  
Dexter Kozen
Keyword(s):  
Kleene Algebra ◽  
Nonlocal Flow

Curvature bound for a curve flow with a prescribed rate of change in enclosed area

2018 ◽  
Vol 29 (08) ◽  
pp. 1850053
Author(s):  
Jianbo Fang ◽  
Shengliang Pan ◽  
Yunlong Yang
Keyword(s):  
Rate Of Change ◽  
Partial Answer ◽  
Curvature Bound ◽  
Curve Flow ◽  
Nonlocal Flow

This paper deals with the curvature bound for a nonlocal curve flow with a prescribed rate of change in enclosed area via Andrews–Bryan’s distance comparison. As a by-product, a partial answer to a conjecture given by Dallaston and McCue is obtained and the [Formula: see text] convergence of the curvature for the nonlocal flow is achieved.

scholarly journals Deciding Synchronous Kleene Algebra with Derivatives

2015 ◽  
pp. 49-62 ◽  
Author(s):  
Sabine Broda ◽  
Sílvia Cavadas ◽  
Miguel Ferreira ◽  
Nelma Moreira
Keyword(s):  
Kleene Algebra

scholarly journals Concurrent Kleene Algebra

2009 ◽  
pp. 399-414 ◽  
Author(s):  
C. A. R. Tony Hoare ◽  
Bernhard Möller ◽  
Georg Struth ◽  
Ian Wehrman
Keyword(s):  
Kleene Algebra
Sign in / Sign up

Export Citation Format

Share Document