• BANANA

  • Referenced in 3 articles [sw01396]
  • specifications. The language considered is Mobile Ambient calculus, initially proposed by Cardelli and Gordon with ... processes) are modeled as nested boxes (i.e., ambients), provided with capabilities for entering, exiting...
  • GcPan

  • Referenced in 3 articles [sw22677]
  • variant of the Ambient Calculus (AC) in which types can be used to avoid certain...
  • New-HOPLA

  • Referenced in 3 articles [sw06992]
  • calculus, higher-order $pi$-calculus and mobile ambients...
  • HOPLA

  • Referenced in 14 articles [sw02330]
  • viewed as an extension of the lambda calculus with a “prefixed sum”, in which types ... with process passing, and mobile ambients with public names...
  • Cadabra

  • Referenced in 91 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • SafeDpi

  • Referenced in 13 articles [sw01989]
  • SafeDpi: A language for controlling mobile code safeDpi...
  • JoCaml

  • Referenced in 26 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • ABAQUS

  • Referenced in 1608 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • fda (R)

  • Referenced in 1531 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • SLMC

  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • OCaml

  • Referenced in 273 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Hets

  • Referenced in 61 articles [sw07017]
  • Hets - the Heterogeneous Tool Set. Hets is a...
  • LMNtal

  • Referenced in 9 articles [sw07312]
  • LMNtal as a hierarchical logic programming language. LMNtal...
  • SPARQL

  • Referenced in 138 articles [sw07429]
  • Federation and navigation in SPARQL 1.1. SPARQL is...