• COWS

  • Referenced in 51 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 21 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...
  • Encodability_Process_Calculi

  • Referenced in 1 article [sw38017]
  • Encodability_Process_Calculi: Analysing and Comparing Encodability Criteria for Process Calculi. Encodings or the proof ... main way to compare process calculi. To analyse the quality of encodings and to rule ... better understood problem of comparing relations on processes...
  • CoSP

  • Referenced in 5 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 1849 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

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

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 303 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 102 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 434 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

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

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

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