Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

114

JALC
2002

77views more JALC 2002»

Local Logics for Traces

15 years 3 months ago

Local Logics for Traces

Download reference.kfupm.edu.sa

A

Igor Walukiewicz

Real-time Traffic

Dependence Graph Representation | Dependence Graphs | JALC 2002 | Several Extensions |

claim paper

Related Content

» Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces

» Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets

» Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

» A Trace Logic for Local Security Properties

» Polynomials Fragments of Temporal Logic and the Variety DA over Traces

» From symptom to cause localizing errors in counterexample traces

» A Semantics for Concurrent Separation Logic

» Weighted Logics for Traces

» Distributed Monitoring in Ad Hoc Networks Conformance and Security Checking

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JALC
Authors	Igor Walukiewicz

Comments (0)