
PEPA
 Referenced in 117 articles
[sw10692]
 PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported...

BioPEPA
 Referenced in 105 articles
[sw01361]
 work we present BioPEPA, 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 lightweight processalgebra style. Thus, MoDeST (i) covers a very ... modelling concepts, (ii) possesses a rigid, processalgebra 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 processalgebraic 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...

CSPprover
 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, CSPProver is based...

SOCS
 Referenced in 146 articles
[sw07737]
 control problems. Applications include trajectory optimization, chemical process control and machine tool path definition. Sparse ... exploits stateoftheart 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...

LTSAWS
 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 largescale 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 setatatime query processing ability in a native XML store, with ... standard components of relational query processing, including algebraic rewriting and a costbased 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 coarsegrid 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...

Mnets
 Referenced in 11 articles
[sw09132]
 nets: An algebra of highlevel Petri nets, with an application to the semantics ... composition – in particular, synchronisation – in a process algebraic style, turning the set of Mnets...

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...