Results 41 to 50 of about 435,235 (283)

Reversing Algebraic Process Calculi [PDF]

The Journal of Logic and Algebraic Programming, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Iain C. C. Phillips, Irek Ulidowski
openaire   +3 more sources

Usage of computer algebra in teaching process

Lietuvos Matematikos Rinkinys, 1998
This work was intended to motivate the necessity of intensive training of mathematics utilising the computer algebra MAPLE in Lithuanian Military Academy.
Aleksas Domarkas, Gintautas Misevičius, Violeta Pakalnytė, Albertas Pincevičius, Rimantas-Jonas Rakauskas   +4 more
doaj   +3 more sources

A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence

Sensors
Process algebra is one of the most suitable formal methods to model smart IoT systems for smart cities. Each IoT in the systems can be modeled as a process in algebra. In addition, the nondeterministic behavior of the systems can be predicted by defining
Junsup Song, Dimitris Karagiannis, Moonkun Lee   +2 more
doaj   +1 more source

LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

Revista Facultad de Ingeniería Universidad de Antioquia, 2012
The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia, Felipe M. Menchaca García, Rolando Menchaca Méndez   +2 more
doaj   +1 more source

Integrability of Schwinger-Dyson Equations in 2D Quantum Gravity and c < 1 Non-critical String Field Theory [PDF]

, 1995
We investigate the integrability of the Schwinger-Dyson equations in $c = 1 - \frac{6}{m(m+1)}$ string field theory which were proposed by Ikehara et al as the continuum limit of the Schwinger-Dyson equations of the matrix chain model.
Ambjørn, Boulatov, Brézin, David, David, Dijkgraaf, Distler, Douglas, Fukuma, Fukuma, Gava, Gross, Hata, Hata, Ikehara, Ikehara, Ikehara, Ishibashi, Ishibashi, Jevicki, Kaku, Kaku, Kaku, Kawai, Kazakov, Kazakov, Knizhnik, Kostov, Mogami, Nakayama, Neveu, Ryuichi Nakayama, Siegel, Siegel, Toshiya Suzuki, Watabiki, Witten   +36 more
core   +3 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, Alban Ponse, Jos van Wamel   +2 more
openaire   +4 more sources

Matrix product and sum rule for Macdonald polynomials [PDF]

Discrete Mathematics & Theoretical Computer Science, 2020
We present a new, explicit sum formula for symmetric Macdonald polynomials Pλ and show that they can be written as a trace over a product of (infinite dimensional) matrices. These matrices satisfy the Zamolodchikov– Faddeev (ZF) algebra.
Luigi Cantini, Jan De Gier, Michael Wheeler   +2 more
doaj   +1 more source

An algebra of Boolean processes [PDF]

, 1992
This work has been motivated by the study of the S/R models which allow to represent systems as a set of communicating state machines cooperating through a shared memory.
Costas Courcoubetis, Susanne Graf, Joseph Sifakis   +2 more
openaire   +1 more source

A Thermodynamic 3D Model for the Simulation of Diffusion‐Controlled Alloying Processes in Heterogeneous Material Structures

Advanced Engineering Materials, EarlyView.
A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer, Leonhard Holländer, André Langohr, Hans Jürgen Maier   +3 more
wiley   +1 more source

Contradiction-tolerant process algebra with propositional signals

, 2017
In a previous paper, an ACP-style process algebra was proposed in which propositions are used as the visible part of the state of processes and as state conditions under which processes may proceed.
Bergstra, J. A., Middelburg, C. A.
core   +1 more source