Sciweavers

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

6

JACIII
2006

favoriteEmaildiscussreport

60views more JACIII 2006»

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

13 years 4 months ago

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

Download www.fujipress.jp

Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro

Real-time Traffic

JACIII 2006 |

claim paper

Related Content

» Structured Document Transformations Based on XSL

» Managing Model Adaptation by Precise Detection of Metamodel Changes

» Definitions of Equivalence for Transformational Synthesis of Embedded Systems

» SourcetoSource Architecture Transformation for Performance Optimization in BIP

» Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Gr...

» Software Designs of Image Processing Tasks With Incremental Refinement of Computation

» Integrating Probability with Time and SharedVariable Concurrency

» TransformationBased Operationalization of Graph Languages

» The Power of Nondeterminism in SelfAssembly

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JACIII
Authors	Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi

Comments (0)