Tile Formats for Located and Mobile Systems
نویسندگان
چکیده
منابع مشابه
Dynamic bisimilarity for reconfigurable and mobile systems via tile logic
E-mail: [email protected], [email protected], [email protected] The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to characterize the coarsest congruence for s which is also a (weak) bisimulation, reconciles the bisimilarity as a congruence property with such axioms and with the speci...
متن کاملFirst order and higher order tile models for open and mobile systems
There are two principal ways in which the dynamics of many calculi can be naturally modeled: (1) by means of labeled transition systems (LTS) where states are terms in the calculus and transition labels express some observation on the evolution step; or (2) by defining a reduction semantics over terms up to a suitable structural congruence (in the style of the chemical abstract machine [1]). Wh...
متن کاملchannel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
Observational congruences for dynamically reconfigurable tile systems
The sos formats that ensure that bisimilarity is a congruence fail in the presence of structural axioms on states. Dynamic bisimulation, introduced to characterize the coarsest congruence for ccs which is also a weak bisimulation, reconciles the ‘bisimilarity is a congruence’ property with structural axioms and also with the specification of open ended systems, where states can be reconfigured ...
متن کاملTriangular and Hexagonal Tile Self-Assembly Systems Triangular and Hexagonal Tile Self-Assembly Systems
We discuss theoretical aspects of the self-assembly of triangular tiles, in particular, right triangular tiles and equilateral triangular tiles, and the self-assembly of hexagonal tiles. Contrary to intuition, we show that triangular tile assembly systems and square tile assembly systems cannot be simulated by each other in a non-trivial way. More precisely, there exists a square tile assembly ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2000
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2825