Results 21 to 30 of about 11,242,864 (292)
IEEE Access, 2021 The wide application of Cyber Physical System (CPS) makes the security of CPS more and more concerned. As the key factors affecting the safety of CPS, space and time have also become the current research hotspot. The space and time safety of CPS requires
Xiaoying Chen +4 more
doaj +1 more source
An Abstraction Technique for Verifying Shared-Memory Concurrency
Applied Sciences, 2020 Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability.
Wytse Oortwijn +2 more
doaj +1 more source
Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra
IEEE Access, 2023 The competition for shared resources in printing manufacturing system may lead to deadlock, which could cause unnecessary downtime and bring vast economic loss for enterprises.
Huailin Li +4 more
doaj +1 more source
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 +4 more sources
On the Modeling and Verification of Collective and Cooperative Systems
Frontiers in Robotics and AI, 2022 The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues.
Alessandro Aldini
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.
S. Mauw (Sjouke), M.A. Reniers (Michel)
openaire +4 more sources
Process algebra with guards [PDF]
Formal Aspects of Computing, 1991 Abstract We extend process algebra with guards, comparable to the guards in guarded commands or conditions in common programming constructs such as ‘if — then — else — fi’ and ‘while — do — od’. The extended language is provided with an operational semantics based on transitions between pairs of a process and a (data-)state.
Jan Friso Groote, Alban Ponse
openaire +2 more sources
Probabilistic Programming Process Algebra [PDF]
, 2014 Formal modelling languages such as process algebras are widespread and effective tools in computational modelling. However, handling data and uncertainty in a statistically meaningful way is an open problem in formal modelling, severely hampering the ...
Sanguinetti, Guido +7 more
core +1 more source
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