FOSSACS 2006 - PDF Preprint Papers

FOSSACS 2006 International Conference on Foundations of Software Science and Computation Structure

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FOSSACS-2006 Paper

click to vote

FOSSACS
2006
Springer

143views Software Engineering» more FOSSACS 2006»

A Finite Model Construction for Coalgebraic Modal Logic

13 years 8 months ago

Download www.informatik.uni-bremen.de

In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...

Lutz Schröder

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.

Related Conferences

Id	Views	Title	Status

1	143	A Finite Model Construction for Coalgebraic Modal Logic	claim
2	134	Guessing Attacks and the Computational Soundness of Static Equivalence	claim
3	133	A Logic of Reachable Patterns in Linked Data-Structures	claim
4	123	On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation	claim
5	123	Propositional Dynamic Logic with Recursive Programs	claim
6	121	Smooth Orchestrators	claim
7	117	Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario	claim
8	114	Bigraphical Models of Context-Aware Systems	claim
9	112	Bidomains and Full Abstraction for Countable Nondeterminism	claim
10	111	Processes for Adhesive Rewriting Systems	claim
11	111	Denotational Semantics of Hybrid Automata	claim
12	110	Reversing Algebraic Process Calculi	claim
13	106	Undecidability Results for Bisimilarity on Prefix Rewrite Systems	claim
14	106	On the Relative Expressive Power of Asynchronous Communication Primitives	claim
15	105	Dynamic Policy Discovery with Remote Attestation	claim
16	103	Register Allocation After Classical SSA Elimination is NP-Complete	claim
17	101	Parity Games Played on Transition Graphs of One-Counter Processes	claim
18	99	On Metric Temporal Logic and Faulty Turing Machines	claim
19	92	Distributed Unfolding of Petri Nets	claim
20	81	A Theory for Observational Fault Tolerance	claim
21	81	A Semantic Approach to Interpolation	claim
22	77	Presenting Functors by Operations and Equations	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers