• LCF

  • Referenced in 158 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...
  • Marlin

  • Referenced in 13 articles [sw41698]
  • construction improves on Sonic [Maller et al., CCS 2019], the prior state...
  • 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...
  • Gazelle

  • Referenced in 5 articles [sw38099]
  • best existing systems such as MiniONN (ACM CCS 2017) by 20 times and Chameleon (Crypto...
  • 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...
  • SimCCS

  • Referenced in 2 articles [sw37917]
  • infrastructure. Commercial-scale carbon capture and storage (CCS) technology will involve deploying infrastructure ... researchers, stakeholders, and policy makers to design CCS infrastructure networks. SimCCS2.0 is a complete, ground ... software package, useable and shareable by the CCS research, industrial, policy, and public communities. SimCCS2.0 ... problem that determines the most cost-effective CCS system design. This optimization problem is then...
  • CostMAP

  • Referenced in 2 articles [sw37916]
  • pipeline routing for carbon capture, and storage (CCS). We also demonstrate that the new software...
  • 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...
  • Silver

  • Referenced in 1 article [sw41816]
  • recent protocol of Yang et al. (CCS 2020). Silver is silent: after a one-time ... extension protocol of Boyle et al. (CCS 2019), upon which we build up, Silver...
  • PMC

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

  • Referenced in 1 article [sw41612]
  • MiniONN neural network (Liu et al., CCS 2017), our compiler improves performance of the resulting...
  • CCSNet

  • Referenced in 1 article [sw41912]
  • numerical simulators for carbon capture and storage (CCS) problems where CO2 is injected into saline...
  • Coq

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

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

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