Results 31 to 40 of about 435,235 (283)
A process algebra for synchronous concurrent constraint programming [PDF]
, 1996 Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new version of the ask and tell primitives which features synchronicity.
Brim, L +3 more
core +4 more sources
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 +3 more sources
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
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
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
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
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
Analysing Mutual Exclusion using Process Algebra with Signals [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar process algebras lack the expressive power to accurately capture mutual exclusion protocols without enriching the language with fairness assumptions.
Victor Dyseryn +2 more
doaj +1 more source