• Bandera

  • Referenced in 125 articles [sw07663]
  • tool set to model-check properties of concurrent Java software The Bandera Tool ... this tutorial paper, we use a simple concurrent Java program to illustrate the functionality...
  • LOTOS

  • Referenced in 137 articles [sw02961]
  • architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system...
  • CASL

  • Referenced in 129 articles [sw02235]
  • extensions to higher-order, state-based, concurrent, and other languages. Use of Casl is supported...
  • CESAR

  • Referenced in 112 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR. The aim of this paper...
  • Oz

  • Referenced in 100 articles [sw06799]
  • level programming language combining constraint inference with concurrency. Typical application areas of Oz include optimization...
  • MS SQL Server

  • Referenced in 90 articles [sw15848]
  • large Internet-facing applications with many concurrent users. (https://en.wikipedia.org/wiki/Microsoft_SQL_Server)...
  • Pict

  • Referenced in 64 articles [sw08929]
  • theoretical foundation for a broad class of concurrent computations. The goal in Pict ... results, higher-order programming, selective communication, and concurrent objects. The type system integrates a number...
  • SLMC

  • Referenced in 61 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications. The Spatial ... properties expressed in the spatial logic for concurrency of Caires and Cardelli. Model-checking...
  • veriSoft

  • Referenced in 82 articles [sw01489]
  • drive existing debuggers for examining precisely the concurrent execution of multiple processes...
  • PostgreSQL

  • Referenced in 55 articles [sw15935]
  • boasts sophisticated features such as Multi-Version Concurrency Control (MVCC), point in time recovery, tablespaces ... manage and in the number of concurrent users it can accommodate. There are active PostgreSQL...
  • ConGolog

  • Referenced in 42 articles [sw01801]
  • ConGolog, a concurrent programming language based on the situation calculus As an alternative to planning ... high-level agent control based on concurrent program execution is considered. A formal definition ... includes facilities for prioritizing the execution of concurrent processes, interrupting the execution when certain conditions ... language differs from other procedural formalisms for concurrency in that the initial state...
  • PDDL

  • Referenced in 68 articles [sw07079]
  • formal semantics and the validation of concurrent plans. We observe that PDDL2.1 has considerable modelling...
  • Erlang

  • Referenced in 67 articles [sw07202]
  • runtime system has built-in support for concurrency, distribution and fault tolerance...
  • AntNet

  • Referenced in 60 articles [sw11975]
  • solving optimization problems. AntNet’s agents, concurrently explore the network and exchange collected information...
  • VCC

  • Referenced in 45 articles [sw07220]
  • mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications...
  • AGG

  • Referenced in 37 articles [sw04449]
  • checking of graphs and conflict detection in concurrent transformations by critical pair analysis of graph...
  • JoCaml

  • Referenced in 21 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile programming. In these lecture notes, we give ... overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an extension ... language. It extends OCaml with support for concurrency and synchronization, the distributed execution of programs ... illustrate how to use JoCaml to program concurrent and distributed applications in a much higher...
  • PlanetLab

  • Referenced in 34 articles [sw21082]
  • links. PlanetLab allows multiple service to run concurrently and continuously, each in its own slice...
  • Facile

  • Referenced in 20 articles [sw08679]
  • Facile: A symmetric integration of concurrent and functional programming. Facile is a symmetric integration ... concurrent and functional programming. The language supports both function and process abstraction. Functions ... Machine (C-FAM). The C-FAM executes concurrent processes evaluating functional expressions. The implementation semantics...
  • MWB

  • Referenced in 30 articles [sw04395]
  • automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described...