Results 21 to 30 of about 435,235 (283)
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes [PDF]
, 1984 We introduce recursively defined processes and regular processes, both in presence and absence of communication. It is shown that both classes are process algebras. As an example of recursively defined processes, Bag and Stack are discussed in detail. It is shown that Bag cannot be recursively defined without merge.
Bergstra, J.A., Klop, J.W.
openaire +3 more sources
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour
IEEE Access, 2019 Distributive real-time autonomous systems like cyber-physical systems (CPS) and biology systems have become a hot topic nowadays. The high-level design of these systems shares a common characteristic that the behavior of agents is always space-related: i.
Yuanrui Zhang, Yixiang Chen, Hengyang Wu
doaj +1 more source
Quantum stochastic integrals as operators [PDF]
, 2010 We construct quantum stochastic integrals for the integrator being a martingale in a von Neumann algebra, and the integrand -- a suitable process with values in the same algebra, as densely defined operators affiliated with the algebra.
Andrzej Łuczak +10 more
core +1 more source
Mechanizing a Process Algebra for Network Protocols [PDF]
, 2015 This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invariant properties.
Bourke, Timothy +2 more
core +5 more sources
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
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
A Process Algebra for Interworkings [PDF]
, 2001 The Interworking language (lW) is a graphical formalism for displaying the communication behaviour of system components. In this chapter, we develop a format semantics for the Interworking language. This semantics must support the analysis of (collections of) Interworking diagrams and allow to express the relation between diagrams.
Mauw, S., Reniers, M.A.
openaire +2 more sources
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
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