• PAT

  • Referenced in 30 articles [sw13258]
  • composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • First, Exp.Open 2.0 allows to describe concurrent systems as a composition of finite state machines...
  • ABS

  • Referenced in 26 articles [sw21211]
  • distributed object-oriented systems. The language combines advanced concurrency and synchronization mechanisms for concurrent object ... objects. This feature combination results in a concurrent object-oriented model which is inherently compositional ... issues for ABS and formalize the type system and semantics of Core ABS, a calculus...
  • MS SQL Server

  • Referenced in 101 articles [sw15848]
  • Server is a relational database management system developed by Microsoft. As a database server ... large Internet-facing applications with many concurrent users. (https://en.wikipedia.org/wiki/Microsoft_SQL_Server)...
  • SugarCubes

  • Referenced in 8 articles [sw01630]
  • where events are instantly broadcast throughout the system. Communicating in this framework is like ... instantaneously received by all receivers. concurrent systems, in particular thread-less ones. Here, parallelism ... supposed to proceed concurrently, and not one after the other. reactive systems, which continuously react...
  • Oz

  • Referenced in 113 articles [sw06799]
  • level programming language combining constraint inference with concurrency. Typical application areas of Oz include optimization ... processing of natural language, simulations, multi agent systems, and sophisticated graphical user interfaces...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • thereby permitting the specification of distributed systems with concurrently interacting objects. Adapting previously made proposals ... import interfaces are our means to construct system architectures and to allow reuse of modules...
  • SAL

  • Referenced in 8 articles [sw13318]
  • exploration and analysis of concurrent systems specified as transition relations. Its language includes many...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • assertion violations in a software system by generating, controlling, and observing the possible executions ... drive existing debuggers for examining precisely the concurrent execution of multiple processes...
  • TRANSYT

  • Referenced in 7 articles [sw00976]
  • verification of timed and untimed asynchronous concurrent systems. TRANSYT system architecture is designed...
  • Kilim

  • Referenced in 7 articles [sw20229]
  • techniques to help create robust, massively concurrent systems in mainstream languages such as Java ... than Erlang (currently the gold standard for concurrency-oriented programming...
  • ArcAngelC

  • Referenced in 6 articles [sw06338]
  • both data and behavioural aspects of concurrent systems using a combination...
  • Access/CPN

  • Referenced in 6 articles [sw02024]
  • widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing...
  • COSTABS

  • Referenced in 5 articles [sw09877]
  • behavioural specification language to model distributed concurrent systems. Characteristic features of ABS are that ... imperative sub-language provides flexible concurrency and synchronization mechanisms by means of asynchronous method calls ... exceed the inferred amount of resources. The system can be downloaded as free software from ... first system able to perform resource analysis for a concurrent language...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • distributed, mobile agents based Monte Carlo system that was inspired by recent work ... solving optimization problems. AntNet’s agents, concurrently explore the network and exchange collected information...
  • VerCors

  • Referenced in 5 articles [sw11259]
  • Verification of concurrent systems with VerCors. This paper presents the VerCors approach to verification...
  • VLTS Benchmark Suite

  • Referenced in 5 articles [sw09810]
  • Systems (hereafter called benchmarks). Each Labelled Transition System is a directed, connected graph, whose vertices ... modelling of communication protocols and concurrent systems. Many of these case studies correspond to real...
  • INFAMY

  • Referenced in 5 articles [sw21177]
  • Model Checker. The design of complex concurrent systems often involves intricate performance and dependability considerations...
  • Petri-PDL

  • Referenced in 3 articles [sw15081]
  • scenarios will be achieved and in concurrent systems the variety of scenarios increase with complexity ... certify systems. Modelling and assessing concurrent systems with a formal semantics leads to the possibility...
  • LOOPN++

  • Referenced in 3 articles [sw31033]
  • modelling and simulation of concurrent systems. This paper presents a more extensive application of object ... which is convenient for modelling complex concurrent systems. The underlying formalism provides the basis...