
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 Betabinders 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 wellknown 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]
 typebased static analyzer for the picalculus. 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 picalculus process by removing subprocesses 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 runtime 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 spicalculus. 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 freevariable 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 ... userdefined by axioms in the situation calculus. Some mathematical properties of the language...

DeltaCCS
 Referenced in 4 articles
[sw14476]
 deltaoriented 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 productline 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 picalculus, 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...