Search Sciweavers | Sciweavers

1167 search results - page 68 / 234

» A Really Temporal Logic

click to vote

CONCUR
1990
Springer

65views Distributed And Parallel Com...» more CONCUR 1990»

An Axiomatization of Lamport's Temporal Logic of Actions

14 years 1 months ago

Download www.hpl.hp.com

Martín Abadi

claim paper

Read More »

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

click to vote

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

14 years 1 months ago

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

click to vote

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

14 years 1 months ago

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

click to vote

BANFF
1995

122views Distributed And Parallel Com...» more BANFF 1995»

Modal and Temporal Logics for Processes

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers