Results 31 to 40 of about 29,356 (295)
Failure Trace Semantics for a Process Algebra with Time-outs [PDF]
Logical Methods in Computer Science, 2021 This paper extends a standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra, in the sense that the progress of time is not quantified.
Rob van Glabbeek
doaj +1 more source
Process algebra modelling styles for biomolecular processes [PDF]
, 2009 We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling ...
Calder, M. +3 more
core +1 more source
Journal of Computer and System Sciences, 1987 The paper aims at developing a concept of distributed processes and operations which cover existing approaches, possibly avoiding their shortcomings. The concept of process is similar to that proposed by Brock and Ackerman and Staples and Nguyen. A process is characterized by the set of scenarios it can realize.
Józef Winkowski +1 more
openaire +2 more sources
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA [PDF]
, 2006 This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11].
Calder, M. +8 more
core +1 more source
Process Algebra and Markov Chains [PDF]
, 2001 This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz.
Hermanns, H., Brinksma, Hendrik
core +4 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
, 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
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