Results 1 to 10 of about 11,242,864 (292)
Mathematics of a Process Algebra Inspired by Whitehead’s Process and Reality: A Review
MathematicsProcess algebras have been developed within computer science and engineering to address complicated computational and manufacturing problems. The process algebra described herein was inspired by the Process Theory of Whitehead and the theory of ...
William Sulis
doaj +1 more source
Insertion Modeling and Its Applications [PDF]
Computer Science Journal of Moldova, 2016 The paper relates to the theoretical and practical aspects of insertion modeling. Insertion modeling is a theory of agents and environments interaction where an environment is considered as agent with a special insertion function.
Alexander Letichevsky +2 more
doaj
Aspects of multiscale modelling in a process algebra for biological systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for modelling biological systems actions are instantaneous.
Roberto Barbuti +4 more
doaj +1 more source
Relating Reasoning Methodologies in Linear Logic and Process Algebra [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic.
Yuxin Deng +2 more
doaj +1 more source
State Equations in Stochastic Process Algebra Models
IEEE Access, 2019 State equations are usually used for structural or qualitative analysis, such as deadlock checking, in P/T systems. In this paper, we instead consider timed state equations in stochastic process algebra models, to derive quantified dynamic information on
Jie Ding, Xin-Shan Zhu, Xiao Chen
doaj +1 more source
Compositional bisimulation metric reasoning with Probabilistic Process Calculi [PDF]
Logical Methods in Computer Science, 2017 We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics.
Daniel Gebler +2 more
doaj +1 more source
Formal Verification Framework for AUTOSAR OS Storage Protection Mechanism [PDF]
Jisuanji gongcheng, 2017 Since the security of standard storage module of traditional vehicle is relatively low,problems like accessing out of bounds or data conflicting may occur while the electronic operating system of vehicles accesses the storage modules.So a storage ...
LI Qing,ZHU Xiaoran,GUO Jian
doaj +1 more source
Enhancing Formal Methods Integration with ACP2Petri
Journal of Information and Organizational Sciences, 2016 The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension ...
Slavomír Šimoňák, Martin Šolc
doaj
USE OF COMPUTER ALGEBRA SYSTEM MAXIMA IN THE PROCESS OF TEACHING FUTURE MATHEMATICS TEACHERS
Інформаційні технології і засоби навчання, 2019 The article is devoted to the research of a problem of the application of computer algebra systems in the course of skill training of future mathematics teachers.
Vladyslav Ye. Velychko +2 more
doaj +1 more source
SensorsProcess algebra can be considered one of the most practical formal methods for modeling Smart IoT Systems in Digital Twin, since each IoT device in the systems can be considered as a process.
Junsup Song +3 more
doaj +1 more source