scholarly journals Process-Algebraic Interpretation of AADL Models

2009 ◽  
pp. 222-236 ◽  
Author(s):  
Oleg Sokolsky ◽  
Insup Lee ◽  
Duncan Clarke
Keyword(s):  
Algebraic Interpretation ◽  
Process Algebraic

scholarly journals The Semantics of Triveni: A process-Algebraic API for Threads + Events

1998 ◽  
Vol 14 ◽  
pp. 107-133 ◽  
Author(s):  
Christopher Colby ◽  
Lalita Jategaonkar ◽  
Radha Jagadeesan ◽  
Konstantin Läufer ◽  
Carlos Puchol
Keyword(s):  
Process Algebraic

scholarly journals CONFLICTS AND FAIR TESTING

2006 ◽  
Vol 17 (04) ◽  
pp. 797-813 ◽  
Author(s):  
ROBI MALIK ◽  
DAVID STREADER ◽  
STEVE REEVES
Keyword(s):  
Discrete Event Systems ◽  
Process Algebra ◽  
Discrete Event ◽  
Denotational Semantics ◽  
Point Of View ◽  
Algebraic Point ◽  
Event Systems ◽  
Common Task ◽  
Testing Theory ◽  
Process Algebraic

This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. In order to analyse complex discrete event systems, conflict-preserving notions of refinement and equivalence are needed. This paper characterises an appropriate refinement, called the conflict preorder, and provides a denotational semantics for it. Its relationship to other known process preorders is explored, and it is shown to generalise the fair testing preorder in process-algebra for reasoning about conflicts in discrete event systems.

scholarly journals Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs

SIMULATION ◽  
2008 ◽  
Vol 84 (7) ◽  
pp. 339-358 ◽  
Author(s):  
Pieter J.L. Cuijpers ◽  
Jan F. Broenink ◽  
Pieter J. Mosterman
Keyword(s):  
Algebraic Semantics ◽  
Bond Graphs ◽  
Hybrid Processes ◽  
Process Algebraic

scholarly journals Multilayer networks as embodied consciousness interactions. A formal model approach.

2021 ◽  
Author(s):  
Camilo Miguel Signorelli ◽  
joaquin diaz boils
Keyword(s):  
Formal Model ◽  
Conscious Experience ◽  
Formal Analysis ◽  
Mathematical Formulation ◽  
Multilayer Networks ◽  
Topological Network ◽  
Binary Operator ◽  
Algebraic Interpretation ◽  
Embodied Consciousness ◽  
Model Approach

An algebraic interpretation of multilayer networks is introduced in relation to conscious experience, brain and body. The discussion is based on a network model for undirected multigraphs with coloured edges whose elements are time-evolving multilayers, representing complex experiential brain-body networks. These layers have the ability to merge by an associative binary operator, accounting for biological composition. As an extension, they can rotate in a formal analogy to how the activity inside layers would dynamically evolve. Under consciousness interpretation, we also studied a mathematical formulation of splitting layers, resulting in a formal analysis for the transition from conscious to non-conscious activity. From this construction, we recover core structures for conscious experience, dynamical content and causal efficacy of conscious interactions, predicting topological network changes after conscious layer interactions. Our approach provides a mathematical account of coupling and splitting layers co-arising with more complex experiences. These concrete results may inspire the use of formal studies of conscious experience not only to describe it, but also to obtain new predictions and future applications of formal mathematical tools.

Product of Two Commutators as a Square in a Free Group

1990 ◽  
Vol 33 (2) ◽  
pp. 190-196
Author(s):  
Jonell A. Comerford ◽  
Y. Lee
Keyword(s):  
Free Group ◽  
Mapping Class Group ◽  
Class Group ◽  
Mapping Class ◽  
Algebraic Interpretation

AbstractWe show that, if [s,t][u, v] = x2 in a free group, x need not be a commutator. We arrive at our example by use of a result of D. Piollet which characterizes solutions of such equations using an algebraic interpretation of the mapping class group of the corresponding surface.

Sign in / Sign up

Export Citation Format

Share Document