• Orc

  • Referenced in 15 articles [sw07311]
  • originally presented as a process calculus. It has now evolved into a full programming language ... original concurrency combinators of the process calculus. Next we describe a small functional programming language ... concurrency combinators of the process calculus and the functional core language are integrated seamlessly...
  • BlenX

  • Referenced in 21 articles [sw12373]
  • BlenX. BlenX is inspired to the process calculus Beta-binders and it is intended...
  • Petruchio

  • Referenced in 15 articles [sw04394]
  • semantical mapping of π-Calculus processes into place/transition Petri nets. Our translation exploits the connections...
  • GOLOG

  • Referenced in 161 articles [sw02159]
  • high level control of robots and industrial processes, intelligent software agents, discrete event simulation ... extended version of the situation calculus. A prototype implementation in Prolog has been developed...
  • COWS

  • Referenced in 50 articles [sw06955]
  • orchestration of web services. We introduce COWS (Calculus for Orchestration of Web Services ... number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern...
  • Featherweight Java

  • Referenced in 84 articles [sw16204]
  • Featherweight Java: A minimal core calculus for Java and GJ. Several recent studies have introduced ... such as type safety. We carry this process a step further, omitting almost all features ... even assignment) to obtain a small calculus, Featherweight Java, for which rigorous proofs...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • type-based static analyzer for the pi-calculus. The current version of TyPiCal provides ... reply to every request? Can a process eventually acquire a lock? Does a process that ... code elimination (UCE) optimizes a pi-calculus process by removing sub-processes that...
  • Church

  • Referenced in 41 articles [sw08946]
  • stochastic generative processes. Church is based on the Lisp model of lambda calculus, containing...
  • XPi

  • Referenced in 6 articles [sw09430]
  • typed process calculus for XML messaging. We present XPi, a core calculus for XML messaging ... level of channels, patterns, and processes. A run-time safety theorem ensures that in well ... service interfaces. Flexibility and expressiveness of this calculus are illustrated by a number of examples...
  • MMC

  • Referenced in 9 articles [sw13879]
  • logical encoding of the π-calculus: Model checking mobile processes using tabled resolution. We present ... specified in the style of the π-calculus. MMC’s development builds on our experience ... easily extended to handle process expressions in the spi-calculus. Our experimental data shows that...
  • Lolliproc

  • Referenced in 5 articles [sw22624]
  • session types. Lolliproc features a simple process calculus “under the hood” but hides the machinery...
  • KeYmaera

  • Referenced in 32 articles [sw03709]
  • automating the verification process, KeYmaera implements a generalized free-variable sequent calculus and automatic proof...
  • DERIVE

  • Referenced in 59 articles [sw02964]
  • Boolean expressions like a scientific calculator processes numbers. It’s useful from KS3 to University ... fields of arithmetic, algebra, trigonometry, calculus, linear algebra, and propositional calculus can be solved with...
  • ConGolog

  • Referenced in 47 articles [sw01801]
  • considered. A formal definition in the situation calculus of such a programming language is presented ... facilities for prioritizing the execution of concurrent processes, interrupting the execution when certain conditions become ... user-defined by axioms in the situation calculus. Some mathematical properties of the language...
  • DeltaCCS

  • Referenced in 4 articles [sw14476]
  • delta-oriented extension to Milner’s process calculus CCS to formalize behavioral variability in software ... predefined change directives are applied to core process semantics by overriding the CCS term rewriting ... behavioral properties expressed in the Modal $mu$-Calculus are verifiable for entire product-line specifications...
  • MetaKlaim

  • Referenced in 4 articles [sw01810]
  • which is a higher order distributed process calculus equipped with staging mechanisms. MetaKlaim integrates MetaML...
  • PiDuce

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

  • Referenced in 120 articles [sw07201]
  • notation of Alonzo Church’s lambda calculus. It quickly became the favored programming language ... name LISP derives from ”LISt Processing”. Linked lists are one of Lisp language’s major...
  • Akiss

  • Referenced in 10 articles [sw20605]
  • model, representing protocols by processes in the applied pi-calculus, and allowing the user ... theory. In order to show that two processes are trace equivalent, Akiss derives a complete...
  • verifier

  • Referenced in 2 articles [sw12878]
  • syntax and operational semantics of quantum process calculus qCCS so that verification of weak bisimilarity...