Results 11 to 20 of about 29,356 (295)
An Information Ontology for the Process Algebra Model of Non-Relativistic Quantum Mechanics [PDF]
Entropy, 2020 The process algebra model has been suggested as an alternative mathematical framework for non-relativistic quantum mechanics (NRQM). It appears to reproduce the wave functions of non-relativistic quantum mechanics to a high degree of accuracy.
William Sulis
doaj +4 more sources
Imperative Process Algebra with Abstraction
Scientific Annals of Computer Science, 2022 This paper introduces an imperative process algebra based on ACP (Algebra of Communicating Processes). Like other imperative process algebras, this process algebra deals with processes of the kind that arises from the execution of imperative ...
Cornelis A. Middelburg
doaj +6 more sources
The Classical-Quantum Dichotomy from the Perspective of the Process Algebra [PDF]
Entropy, 2022 The classical-quantum dichotomy is analyzed from the perspective of the Process Algebra approach, which views fundamental phenomena through the lens of complex systems theory and Whitehead’s process theory.
William Sulis
doaj +2 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 +4 more sources
EntropyFrom the perspective of process, time may be viewed as that which marks the occurrence of change, as previously proposed by this author. In contrast, spatial distinctions may be viewed as enabling the individuation and counting of events generated by ...
William Sulis
doaj +2 more sources
Process algebra with backtracking
, 1994 An extension of process algebra for modelling processes with backtracking is introduced. This extension is semantically based on processes that transform data because, in our view, backtracking is the undoing of the effects caused by a process in some initial data-state if this process fails.
Jan A. Bergstra +2 more
openaire +5 more sources
Process Algebra with Nonstandard Timing [PDF]
Fundamenta Informaticae, 2002 The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook of Process Algebra, Elsevier, 2001, Chapter 10].
Middelburg, C.A.
core +5 more sources
Thread Algebra with Prospecting Services and Foresight Patterns
Mathematics, 2022 Thread algebra is a domain-specific process algebra which may be used for semantic work on sequential systems, including systems based on deterministically scheduled multi-threading. Thread algebra is used in this capacity with the forecasting phenomenon
Jan Bergstra
doaj +1 more source
Contextuality in Neurobehavioural and Collective Intelligence Systems
Quantum Reports, 2021 Contextuality is often described as a unique feature of the quantum realm, which distinguishes it fundamentally from the classical realm. This is not strictly true, and stems from decades of the misapplication of Kolmogorov probability.
William Sulis
doaj +1 more source
Safety Verification of Driving Resource Occupancy Rules Based on Functional Language
Future Internet, 2022 Autonomous driving is a safety-critical system, and the occupancy of its environmental resources affects the safety of autonomous driving. In view of the lack of safety verification of environmental resource occupation rules in autonomous driving, this ...
Zhixi Hu, Yi Zhu, Xiaoying Chen, Yu Zhao
doaj +1 more source