• LCF

  • Referenced in 148 articles [sw08360]
  • Milner’s Calculus of Communicating Systems (CCS...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • checking on the types. Open simulation between CCS processes is used as both the subtyping...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • demonstrate how to specify process algebras, namely CCS [R. Milner, Communication and concurrency. New York...
  • HOPLA

  • Referenced in 14 articles [sw02330]
  • directly encode process languages such as CCS, CCS with process passing, and mobile ambients with...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • operators from several process algebras (Ccs, Csp, Lotos, E-Lotos, μ Crl).Second, together with...
  • DeltaCCS

  • Referenced in 4 articles [sw14476]
  • oriented extension to Milner’s process calculus CCS to formalize behavioral variability in software product ... core process semantics by overriding the CCS term rewriting rule in a determined ... preservation of behavioral properties after varying CCS specifications. We present a prototypical DeltaCCS model checker...
  • CCS

  • Referenced in 2 articles [sw18589]
  • system topology. On the basis of our CCS software, we describe the anatomy ... management system. Like Codine, Condor, and LSF, CCS provides mechanisms for the user-friendly system ... management of clusters. But unlike them, CCS is targeted at the effective support of space ... parallel and even metacomputers. Among other features, CCS provides a versatile resource description facility, topology...
  • BVCM

  • Referenced in 1 article [sw28250]
  • resources, as well as CO2 sequestration by CCS technologies and forestry. It supports decision-making ... credits (e.g. by-product and end-product, CCS and forestry carbon sequestration) and a number...
  • PMC

  • Referenced in 1 article [sw28466]
  • Processes with Multiple Clocks) extends Milner’s ccs with a notion of qualitative time called...
  • Coq

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

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

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at...
  • ML

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

  • Referenced in 100 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • CASL

  • Referenced in 159 articles [sw02235]
  • The specification language developed by CoFI is called...
  • PROCOL

  • Referenced in 8 articles [sw02535]
  • PROCOL. A concurrent object-oriented language with protocols...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • A transition system semantics for the control-driven...
  • LOTOS

  • Referenced in 147 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...