REX 1989 | Sciweavers

click to vote

REX
1989

64views Logical Reasoning» more REX 1989»

Composing Specifications

14 years 4 months ago

Download www.hpl.hp.com

Martín Abadi, Leslie Lamport

claim paper

Read More »

click to vote

REX
1989

106views Logical Reasoning» more REX 1989»

METATEM: A Framework for Programming in Temporal Logic

14 years 4 months ago

Download www.dcs.kcl.ac.uk

In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...

Howard Barringer, Michael Fisher, Dov M. Gabbay, G...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers