• PEPA

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

• Bio-PEPA

• Referenced in 103 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 663 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 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, CSP-Prover is based...

• GloptiPoly

• Referenced in 311 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...

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

• MapReduce

• Referenced in 253 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...

• LTSA-WS

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

• SOCS

• Referenced in 130 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...

• BoomerAMG

• Referenced in 172 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...

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

• Exp.Open

• Referenced in 10 articles [sw07702]
• renaming, and cut operators from several process algebras (Ccs, Csp, Lotos, E-Lotos...

• Modelica

• Referenced in 95 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...