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

BioPEPA
 Referenced in 95 articles
[sw01361]
 work we present BioPEPA, a process algebra for the modelling and the analysis...

DERIVE
 Referenced in 59 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...

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

MoDeST
 Referenced in 30 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...

mCRL
 Referenced in 29 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 26 articles
[sw02205]
 SPADES  a process algebra for discrete event simulation...

CSPprover
 Referenced in 15 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...

SparseMatrix
 Referenced in 523 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...

LTSAWS
 Referenced in 13 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...

TIMBER
 Referenced in 20 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...

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

MapReduce
 Referenced in 206 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...

GloptiPoly
 Referenced in 234 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...

SOCS
 Referenced in 105 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...

Exp.Open
 Referenced in 10 articles
[sw07702]
 renaming, and cut operators from several process algebras (Ccs, Csp, Lotos, ELotos...

MOTOR
 Referenced in 8 articles
[sw02988]
 spectrum of modeling concepts, possesses rigid, processalgebra style semantics, and yet provides modern...

BoomerAMG
 Referenced in 125 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...