• ABS

  • Referenced in 24 articles [sw21211]
  • object-oriented systems. The language combines advanced concurrency and synchronization mechanisms for concurrent object groups ... cooperative scheduling of method activations inside concurrent objects. This feature combination results in a concurrent...
  • JoCaml

  • Referenced in 23 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...
  • Mosel

  • Referenced in 35 articles [sw04911]
  • chapter presents possibilities for problem decomposition and concurrent solving from a modeling point of view...
  • PlanetLab

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

  • Referenced in 21 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 33 articles [sw04395]
  • automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described...
  • Multilisp

  • Referenced in 31 articles [sw09420]
  • Multilisp: A language for concurrent symbolic computation. Multilisp is a version of the Lisp dialect...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • programming languages which manage the interactions among concurrent programs. Basically, coordination is achieved either...
  • dSPIN

  • Referenced in 30 articles [sw09888]
  • offers efficient means for the verification of concurrent programs written in high(er)-level programming...
  • PAT

  • Referenced in 29 articles [sw13258]
  • support composing, simulating and reasoning of concurrent, real-time systems and other possible domains...
  • Orc

  • Referenced in 15 articles [sw07311]
  • functional aspects effectively, including spawning of concurrent threads, time-outs and mutable state. We first ... describe the original concurrency combinators of the process calculus. Next we describe a small functional ... core language. Then we show how the concurrency combinators of the process calculus ... have proven very effective in describing typical concurrent computations; we demonstrate how several practical concurrent...
  • Checkfence

  • Referenced in 19 articles [sw09939]
  • verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • algebras, namely CCS [R. Milner, Communication and concurrency. New York etc.: Prentice Hall...
  • cminor

  • Referenced in 18 articles [sw09739]
  • motivated by the need to support future concurrent extensions. We detail a machine-checked proof ... first step towards an environment in which concurrent cminor programs can be verified using Separation...
  • TLA

  • Referenced in 25 articles [sw04442]
  • suited for writing high-level specifications of concurrent and distributed systems. PlusCal is an algorithm...
  • CC-Pi

  • Referenced in 25 articles [sw15033]
  • basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming). Specifically, we extend...
  • JCobox

  • Referenced in 13 articles [sw21212]
  • JCoBox: Generalizing active objects to concurrent components. JCoBox is a programming language, which extends Java ... concurrency concept, called CoBoxes. CoBoxes are a novel programming concept for distributed, concurrent object-oriented ... generalization of active objects to concurrently running groups of objects with multiple cooperative tasks ... latest paper: JCoBox: From Active Objects to Concurrent Components. Or you can start with...
  • Creol

  • Referenced in 24 articles [sw09421]
  • type-safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing is becoming...
  • Atomizer

  • Referenced in 17 articles [sw08924]
  • potential for unexpected interactions between concurrent threads. Much previous work has focused on detecting race ... affected by and does not interfere with concurrently-executing threads. Atomic methods can be understood...
  • Concurrency Workbench

  • Referenced in 12 articles [sw14749]
  • Edinburgh Concurrency Workbench: a tool for describing, exploring and automatically verifying systems. Edinburgh Concurrency Workbench ... Summary: The Edinburgh Concurrency Workbench (CWB) is an automated tool which caters for the manipulation ... analysis of concurrent systems. In particular, the CWB allows for various equivalence, preorder and model...