• PEPA

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

  • Referenced in 95 articles [sw01361]
  • work we present Bio-PEPA, 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 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...
  • mCRL

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

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

  • Referenced in 206 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...
  • 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 state-of-the-art 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, E-Lotos...
  • MOTOR

  • Referenced in 8 articles [sw02988]
  • spectrum of modeling concepts, possesses rigid, process-algebra 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 coarse-grid selection, in particular, is fundamentally sequential ... Jones, Coarse grid selection for parallel algebraic multigrid, in: A. Ferriera, J. Rollin, H. Simon...