CONCUR 2007 - PDF Preprint Papers

CONCUR 2007 Seminar on Concurrency

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CONCUR-2007 Paper

click to vote

CONCUR
2007
Springer

165views Distributed And Parallel Com...» more CONCUR 2007»

Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness

13 years 10 months ago

Download www2.tcs.ifi.lmu.de

Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...

Martin Lange

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	165	Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness	claim
2	157	Checking Coverage for Infinite Collections of Timed Scenarios	claim
3	145	Causal Message Sequence Charts	claim
4	140	Coalgebraic Models for Reactive Systems	claim
5	139	Rule-Based Modelling of Cellular Signalling	claim
6	136	Decidability Results for Well-Structured Transition Systems with Auxiliary Storage	claim
7	129	Strategy Logic	claim
8	119	A Marriage of Rely/Guarantee and Separation Logic	claim
9	119	Automatic Derivation of Compositional Rules in Automated Compositional Reasoning	claim
10	118	Asynchronous Games: Innocence Without Alternation	claim
11	118	On Modal Refinement and Consistency	claim
12	110	Pushdown Module Checking with Imperfect Information	claim
13	103	Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems	claim
14	102	Is Observational Congruence Axiomatisable in Equational Horn Logic?	claim
15	101	Fair Cooperative Multithreading	claim
16	101	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics	claim
17	101	Temporal Antecedent Failure: Refining Vacuity	claim
18	99	Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes	claim
19	95	Making Random Choices Invisible to the Scheduler	claim
20	95	Solving Games Via Three-Valued Abstraction Refinement	claim
21	93	Mobility Control Via Passports	claim
22	93	Compositional Event Structure Semantics for the Internal pi -Calculus	claim
23	92	The Must Preorder Revisited	claim
24	91	Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures	claim
25	86	Reactive Systems over Directed Bigraphs	claim
26	86	Timed Concurrent Game Structures	claim
27	78	On the Expressive Power of Global and Local Priority in Process Calculi	claim
28	74	The Saga of the Axiomatization of Parallel Composition	claim
29	69	Topology-Dependent Abstractions of Broadcast Networks	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers