• COWS

  • Referenced in 50 articles [sw06955]
  • ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection ... compensation handlers, and for encoding other process and orchestration languages...
  • PiDuce

  • Referenced in 20 articles [sw01418]
  • relying on solid theories about process calculi and formal languages for XML documents and schemas.The ... runtime environment supports the execution of PiDuce processes over networks by relying on state...
  • Jolie

  • Referenced in 9 articles [sw12396]
  • modelling of concurrency typical of process calculi. The foundational work done around Jolie during Sensoria...
  • CoSP

  • Referenced in 4 articles [sw25389]
  • proving x cryptographic primitives sound for y calculi only requires x + y proofs (instead ... without this framework), and the process of embedding calculi is conceptually decoupled from computational soundness...
  • ACVisualizer

  • Referenced in 1 article [sw00016]
  • visualization tool for APi-calculus. Process calculi are mathematical tools used for modeling and analyzing...
  • Lolliproc

  • Referenced in 5 articles [sw22624]
  • interacted with concurrency primitives in lambda calculi have remained somewhat ad-hoc. In this paper ... session types. Lolliproc features a simple process calculus “under the hood” but hides the machinery...
  • Coq

  • Referenced in 1763 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 604 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Octave

  • Referenced in 277 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • The joint CSCS-ETH/NEC collaboration in parallel...
  • RelView

  • Referenced in 101 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • TulaFale

  • Referenced in 14 articles [sw00986]
  • TulaFale: a security tool for web services. Web...
  • PRISM

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

  • Referenced in 506 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 285 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Klava

  • Referenced in 19 articles [sw01243]
  • Klava: a Java package for distributed and mobile...
  • ArchJava

  • Referenced in 19 articles [sw01803]
  • Software architecture describes the structure of a system...
  • HySAT

  • Referenced in 23 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...