Results 41 to 50 of about 11,242,864 (292)
A Process Algebra for Supervisory Coordination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studies automated synthesis of controller models, known as supervisors, based on
Jos Baeten +3 more
doaj +1 more source
The Structure-Behavior Coalescence Approach for Systems Modeling
IEEE Access, 2019 The systems modeling technique is used for developing an abstract model to help analyze and understand the functionality of a system. In this paper, we introduce a new approach for general-purpose systems modeling called structure-behavior coalescence ...
Keng-Pei Lin, William S. Chao
doaj +1 more source
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011) [PDF]
, 2011 Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very
ZAVATTARO G +4 more
core +1 more source
Locality Is Dead! Long Live Locality!
Frontiers in Physics, 2020 Several decades of theory and experiment into EPR correlations have led to the widely held belief that reality is non-local, in spite of the fact that this violates special relativity.
William Sulis
doaj +1 more source
A Formal Method for Description and Decision of Android Apps Behavior Based on Process Algebra
IEEE Access, 2022 Android is the most popular mobile platform, and it has become a primary malware target. Existing behavior-based Android malware detection methods suffer from false positive and false negative problems, which lead to low detection accuracy. Formal theory
Dongkui Liang +4 more
doaj +1 more source
Priorities in process algebras [PDF]
Information and Computation, 1990 The paper tries to give a semantic theory of programming languages constructs which embody the notion of priority between actions, by a modified form of labeled transition systems. The syntax of the langage is essentially that of pure \(CCS^ 1\). Starting from the (countable) set of action labels \(\Lambda\), the set \({\mathcal A}=\Lambda \cup {\bar ...
Rance Cleaveland, Matthew Hennessy
openaire +4 more sources
MULTIPLICATIVE PRIMENESS OF COMPLEXIFICATION FOR REAL ALGEBRAS [PDF]
مجلة التربية والعلم, 2006 We say that an algebra a is multiplicative prime if both a and m(a) ( the multiplication algebra of a) are prime . in this paper , we study the transitivity of the property of multiplicative primeness for real normal algebra when one take the process of ...
Amir A. Mohammed, Baida S.Abdullah
doaj +1 more source
Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange [PDF]
Journal of Systemics, Cybernetics and Informatics, 2003 In this paper a formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process and resource information exchange, (ISO 10303-214).
Petter Falkman +2 more
doaj
Motion Modeling and Control of Lower Limb Exoskeleton Based on Max-Plus Algebra
Discrete Dynamics in Nature and Society, 2021 Max-plus algebra is a special method to describe the discrete event system. In this paper, it is introduced to describe the motion of lower limb exoskeleton.
Cuifeng Qin, Zuojun Liu
doaj +1 more source