Sciweavers

138
Voted
BANFF
1995
15 years 1 months ago
An Automata-Theoretic Approach to Linear Temporal Logic
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
Moshe Y. Vardi
70
Voted
BANFF
1995
15 years 1 months ago
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan