Results 21 to 30 of about 17,836 (258)
, 1999 The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the verification system PVS. One approach declares process terms as an uninterpreted type and specifies equality on terms by axioms.
Basten, T., Hooman, J.J.M.
openaire +3 more sources
A Partial-differential Approximation for Spatial Stochastic Process Algebra [PDF]
EAI Endorsed Transactions on Internet of Things, 2015 We study a spatial framework for process algebra with ordinary differential equation (ODE) semantics. We consider an explicit mobility model over a 2D lattice where processes may walk to neighbouring regions independently, and interact with each other ...
Max Tschaikowski, Mirco Tribastone
doaj +1 more source
Integrated Information in Process-Algebraic Compositions
Entropy, 2019 Integrated Information Theory (IIT) is most typically applied to Boolean Nets, a state transition model in which system parts cooperate by sharing state variables.
Tommaso Bolognesi
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe three classical process algebra CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operators, but also to the terminology and “way of thinking” of the community which has been (and still is) working with them.
Baeten, J.C.M. +3 more
openaire +3 more sources
Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real-World Data. [PDF]
Adv Intell DiscovThis article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Ren Y, Wei GW.
europepmc +2 more sources
Risk Measurement Method for Privilege Escalation Attacks on Android Apps Based on Process Algebra
Information, 2020 On the Android platform, information leakage can use an application-layer privilege escalation attack composed of multi-app collusion. However, the detection effect of a single app that can construct privilege escalation attacks is not good. Furthermore,
Limin Shen +5 more
doaj +1 more source
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
An algebra of Boolean processes [PDF]
, 1992 This work has been motivated by the study of the S/R models which allow to represent systems as a set of communicating state machines cooperating through a shared memory.
Costas Courcoubetis +2 more
openaire +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
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