Computer science

IMP_concur - A Semantics for a Language with Concurrency based on HOL-CSP

by Burkhart Wolff

Dynamic Pushdown Networks

by Peter Lammich

Stratified Datalog and Program Analysis

by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson

Mission-time Linear Temporal Logic Formula Progression

by Katherine Kosaian, Zili Wang and Elizabeth Sloan

Pushdown Systems

by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel

Labeled Transition Systems

by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel

The Halting Problem is Soluble in Malament-Hogarth Spacetimes

by Mike Stannett