منابع مشابه
Relationships Between Models of Concurrency
Models for concurrency can be classified with respect to the three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. The classifications are formalized through the medium of category theory.
متن کاملTranslating between Horn Representations and Their Characteristic Models Translating between Horn Representations and Their Characteristic Models
Characteristic models are an alternative, model based, representation for Horn expressions. It has been shown that these two representations are incomparable and each has its advantages over the other. It is therefore natural to ask what is the cost of translating , back and forth, between these representations. Interestingly, the same translation questions arise in database theory, where it ha...
متن کاملFormal Relationships Between Geometrical and Classical Models for Concurrency
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality between events, conflicts and schedules due to resource accesses, etc. More recently, models with a geometrical flavor have been introduced, based on the notion of cubical set. These models are very rich and expressive sin...
متن کاملArsenic Toxicology: Translating between Experimental Models and Human Pathology
BACKGROUND Chronic arsenic exposure is a worldwide health problem. How arsenic exposure promotes a variety of diseases is poorly understood, and specific relationships between experimental and human exposures are not established. We propose phenotypic anchoring as a means to unify experimental observations and disease outcomes. OBJECTIVES We examined the use of phenotypic anchors to translate...
متن کاملTranslating OMT state diagrams with concurrency into SDL diagrams
Defining a complete methodology for the developing of an application is a challenge for many software engineering specialists. Although many such methodologies have been developed, few of them take into consideration all the aspects that can come up while developing complex applications. Many times, although a general outline for the methodology is being defined, for some important features, li...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2020
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-020-00372-9