Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Process Algebra with Recursive Operations
a structural approach to operational semantics .
A temporal logic for reasoning about processes and plans
Specification and Verification of Concurrent Programs by forall-Automata
A Transformation System for Developing Recursive Programs
minimal recursion semantics : an introduction .
Programming with Algebraic Effects and Handlers
A symmetric modal lambda calculus for distributed computing
Attribute grammars and recursive program schemes II
Handle with care: relational interpretation of algebraic effects and handlers
Business process modeling languages: Sorting through the alphabet soup
Efficient Self-Interpretation in Lambda Calculus
Guarded commands, nondeterminacy and formal derivation of programs
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)
Automatic visualization of recursion trees: a case study on generic programming
High-level small-step operational semantics for transactions
A compositional theory of refinement for branching time
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search
Abstract interpretation of reactive systems
An automata-theoretic approach to branching-time model checking
A gentle introduction to mutual recursion
application of the karhunen - loeve procedure for the characterization of human faces .
A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy
TubeSpam: Comment Spam Filtering on YouTube
Vehicle Front Structure Energy Absorbing Optimization in Frontal Impact
The Design And Analysis Of Computer Algorithms