
SafeDpi
 Referenced in 13 articles
[sw01989]
 show that a natural contextually defined behavioural equivalence can be characterised coinductively, using bisimulations based...

Workcraft
 Referenced in 5 articles
[sw01021]
 Petri Net preserving behavioural equivalence. Once the equivalent Petri Net is obtained, existing theoretical...

Concurrency Workbench
 Referenced in 12 articles
[sw14749]
 particular, the CWB allows for various equivalence, preorder and model checking using a variety ... possible to: define behaviours given either in an extended version of CCS or in SCCS ... perform various analyses on these behaviours, such as analysing the state space of a given ... process, or checking various semantic equivalences and preorders; define propositions in a powerful modal logic...

nuSpectral
 Referenced in 5 articles
[sw26228]
 infinity as well as estimator behaviour, and show the equivalence to the discrete Fourier transform...

VICONOPT
 Referenced in 19 articles
[sw10341]
 sectional geometry based on a substitution of equivalent orthotropic plates for laminated plates. Optimization ... bladestiffened panels. The buckling and postbuckling behaviour of the two panels, with initial buckling...

HECTOR
 Referenced in 2 articles
[sw13320]
 knowledge, Hector is the first fullyautomated equivalence checker for higherorder, callbyvalue ... precisely capture program behaviour. These automata are then checked for language equivalence, and if they...

CAESAR
 Referenced in 8 articles
[sw29138]
 graph, state space, etc.) corresponding to the behaviour of this specification. caesar itself does ... generated graph, including model checking, equivalence checking, and visual checking. Taking as input filename.lotos, which...

IDENT
 Referenced in 3 articles
[sw30329]
 IDENT: Package for identification in behavioural setting. The IDENT package solves identification problems with ... consistent with the model. The problem is equivalent to and is solved as a mosaic...

NMRDPP
 Referenced in 4 articles
[sw10437]
 decisiontheoretic planning, where many desirable behaviours are more naturally expressed as properties of execution ... automatically translate the NMRDP into an equivalent MDP which is solved using efficient MDP solution...

DYNROT
 Referenced in 2 articles
[sw02656]
 perform a complete study of the dynamic behaviour of rotors. Although initially designed to solve ... computation or to compute an equivalent viscous damping in those cases where hysteretic damping cannot...

HARMRAD
 Referenced in 4 articles
[sw18313]
 opacity can significantly affect flow structure and behaviour. We describe a numerical scheme, tests ... beamed polar region, with superEddington isotropic equivalent luminosities. Such simulations with HARMRAD can enlighten...

L1PMA
 Referenced in 2 articles
[sw21492]
 first divided differences of the approximation or equivalently k monotonic sections, alternately increasing and decreasing ... that have substantial differences and showed quadratic behaviour in n. Some numerical results demonstrate...

ANSYS
 Referenced in 662 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 133 articles
[sw00344]
 The gfun package provides tools for determining and...

Gmsh
 Referenced in 602 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Macaulay2
 Referenced in 1692 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...