Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

PPL
2007

favoriteEmaildiscussreport

88views more PPL 2007»

Terminating alternator

13 years 4 months ago

Terminating alternator

Download www.cse.msu.edu

In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has the potential to preserve maximal concurrency (if available) provided by the non-terminating alternator. It can also be used to transform a program that is stabilizing in interleaving semantics into a program that is stabilizing in powerset semantics. We also discuss how the terminating alternator can be used to enable a process to gain an understanding of system stability.

Sandeep S. Kulkarni

Real-time Traffic

Alternator | Nonterminating Alternator | PPL 2007 | Terminating Alternator |

claim paper

Related Content

» Alternation for Termination

» Signature Extensions Preserve Termination An Alternative Proof via Dependency Pairs

» A Distributed SpaceTime Trellis Coding Approach for MultiTerminal Relay Networks

» Orderings and Constraints Theory and Practice of Proving Termination

» Termination Analysis with Compositional Transition Invariants

» An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Sys...

» On Typing Information Flow

» A Lightweight SCTP for Partially Reliable Overlay Video Multicast Service for Mobile Termi...

» Timing the Untimed Terminating Successfully While Being Conservative

Post Info
More Details (n/a)

Added	27 Dec 2010
Updated	27 Dec 2010
Type	Journal
Year	2007
Where	PPL
Authors	Sandeep S. Kulkarni

Comments (0)