Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
A Foundation for Actor Computation
Agents in object-oriented software engineering
Capability-Based Primitives for Access Control in Object-Oriented Systems
Lambda-calculus models of programming languages.
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML
Active Object - An Object Behavioral Pattern for Concurrent Programming
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra
Towards a pattern language for object oriented design
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
Scala Actors: Unifying thread-based and event-based programming
Subject-oriented programming: a critique of pure objects
A Theory of Communicating Sequential Processes
Coalitions Among Computationally Bounded Agents
Multi-Agent Programming: Languages, Platforms and Applications
Alloy: a lightweight object modelling notation
Algebraic Reasoning for Probabilistic Concurrent Systems
Mirrors: design principles for meta-level facilities of object-oriented programming languages
Towards a Sentient Object Model
From Coloured Petri Nets to Object Petri Nets
invasion and the evolution of speed in toads .
Cultural Psychology: A Once and Future Discipline.
Innate lymphoid cells — how did we miss them?
Assessment of the ExAC data set for the presence of individuals with pathogenic genotypes implicated in severe Mendelian pediatric disorders
Lambda-calculus models of programming languages.