-
PEPA
- Referenced in 117 articles
[sw10692]
- PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported...
-
Bio-PEPA
- Referenced in 105 articles
[sw01361]
- work we present Bio-PEPA, a process algebra for the modelling and the analysis...
-
DERIVE
- Referenced in 65 articles
[sw02964]
- numeric mathematics on your PC. It processes algebraic variables, expressions, equations, functions, vectors, matrices ... Boolean expressions like a scientific calculator processes numbers. It’s useful from KS3 to University ... beyond. Problems in the fields of arithmetic, algebra, trigonometry, calculus, linear algebra, and propositional calculus...
-
MoDeST
- Referenced in 32 articles
[sw01544]
- with compositionality in a light-weight process-algebra style. Thus, MoDeST (i) covers a very ... modelling concepts, (ii) possesses a rigid, process-algebra style semantics, and (iii) yet provides modern...
-
CoCasl
- Referenced in 26 articles
[sw13076]
- CoCasl at work – modelling process algebra. CoCasl, a recently developed coalgebraic extension of the algebraic ... Here, we demonstrate how to specify process algebras, namely CCS [R. Milner, Communication and concurrency ... deal with the fundamental concepts of process algebra in a natural way: The type system ... syntax of processes and their structural operational semantics fit well in the algebraic world...
-
mCRL
- Referenced in 31 articles
[sw29626]
- specification of system behaviour in a process-algebraic style and of data elements ... automatically transformed into a linear process operator (LPO). All other tools in the μCRL toolset...
-
SPADES
- Referenced in 27 articles
[sw02205]
- SPADES -- a process algebra for discrete event simulation...
-
SparseMatrix
- Referenced in 724 articles
[sw04629]
- widely used by the numerical linear algebra community for the development and performance evaluation ... financial modeling, theoretical and quantum chemistry, chemical process simulation, mathematics and statistics, power networks...
-
CSP-prover
- Referenced in 16 articles
[sw11465]
- dedicated to refinement proofs within the process algebra CSP. It aims specifically at proofs ... capable to deal with infinite systems of process equations. Technically, CSP-Prover is based...
-
SOCS
- Referenced in 146 articles
[sw07737]
- control problems. Applications include trajectory optimization, chemical process control and machine tool path definition. Sparse ... exploits state-of-the-art sparse linear algebra technology to solve very large optimization problems...
-
GloptiPoly
- Referenced in 322 articles
[sw04343]
- various areas of mathematics such as algebra, Fourier analysis, functional analysis, operator theory, probability ... such as optimization, probability, finance, control, signal processing, chemistry, cristallography, tomography, etc.The present version...
-
LTSA-WS
- Referenced in 14 articles
[sw10585]
- into the Finite State Process (FSP) process algebra to concisely model the required behavior. BPEL4WS ... allow an equivalence trace verification process to be performed. By providing early design verification...
-
MapReduce
- Referenced in 262 articles
[sw00546]
- initially developed for large-scale web content processing. Data analysis meets the issue ... applications. The translation and optimization from relational algebra operators to MapReduce programs is still...
-
TIMBER
- Referenced in 21 articles
[sw02327]
- system is based upon a bulk algebra for manipulating trees and natively stores ... comprehensive set-at-a-time query processing ability in a native XML store, with ... standard components of relational query processing, including algebraic rewriting and a cost-based optimizer...
-
BoomerAMG
- Referenced in 195 articles
[sw00086]
- been a recent resurgence of interest in algebraic multigrid (AMG). AMG is attractive in that ... method parallelizes readily, the process of coarse-grid selection, in particular, is fundamentally sequential ... Jones, Coarse grid selection for parallel algebraic multigrid, in: A. Ferriera, J. Rollin, H. Simon...
-
Modelica
- Referenced in 124 articles
[sw04352]
- electrical, hydraulic control and state machine subsystems, process oriented applications and generation and distribution ... Modelica are mathematically described by differential, algebraic and discrete equations. No particular variable needs...
-
M-nets
- Referenced in 11 articles
[sw09132]
- nets: An algebra of high-level Petri nets, with an application to the semantics ... composition – in particular, synchronisation – in a process algebraic style, turning the set of M-nets...
-
fc2tools
- Referenced in 11 articles
[sw12386]
- team. Main features are: implementation of process algebra theory, for syntax and semantics; verification...
-
VPM
- Referenced in 11 articles
[sw07364]
- semantic domains (Petri nets, Kripke automaton, process algebras, etc.) for formal analysis purposes as foreseen...
-
FeynCalc
- Referenced in 69 articles
[sw07022]
- algebraic calculation of Feynman amplitudes. The purpose of the package is to facilitate the process ... package is written in the computer algebra languages Macsyma as well as Mathematica allowing...