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

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

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

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

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

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

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

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

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

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

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

PALOMA
 Referenced in 6 articles
[sw20778]
 PALOMA: A process algebra for located Markovian agents. We present a novel stochastic process algebra...