Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540433668, 9783540459316

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-Order Pushdown Trees Are Easy

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_15 ◽

2002 ◽

pp. 205-222 ◽

Author(s):

Teodor Knapik ◽

Damian Niwiński ◽

Paweł Urzyczyn

Keyword(s):

Download Full-text

Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_26 ◽

2002 ◽

pp. 372-386 ◽

Author(s):

Ulrich Schöpp ◽

Alex Simpson

Keyword(s):

Temporal Properties ◽

Download Full-text

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_7 ◽

2002 ◽

pp. 82-97 ◽

Author(s):

Corina Cîrstea

Download Full-text

A Semantic Basis for Local Reasoning

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_28 ◽

2002 ◽

pp. 402-416 ◽

Author(s):

Hongseok Yang ◽

Peter O’Hearn

Keyword(s):

Local Reasoning

Download Full-text

Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_1 ◽

2002 ◽

pp. 1-4

Author(s):

Bruno Courcelle

Keyword(s):

Download Full-text

On Model Checking Durational Kripke Structures

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_19 ◽

2002 ◽

pp. 264-279 ◽

Author(s):

François Laroussinie ◽

Nicolas Markey ◽

Philippe Schnoebelen

Keyword(s):

Model Checking ◽

Kripke Structures

Download Full-text

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_10 ◽

2002 ◽

pp. 129-143 ◽

Author(s):

Gianluigi Ferrari ◽

Ugo Montanari ◽

Marco Pistore

Keyword(s):

Transition Systems ◽

Algebraic Formulation

Download Full-text

Linearity and Bisimulation

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_29 ◽

2002 ◽

pp. 417-433 ◽

Author(s):

Nobuko Yoshida ◽

Kohei Honda ◽

Martin Berger

Download Full-text

Varieties of Effects

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_11 ◽

2002 ◽

pp. 144-159 ◽

Author(s):

Carsten Führmann

Download Full-text

The Demonic Product of Probabilistic Relations

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_9 ◽

2002 ◽

pp. 114-128 ◽

Author(s):

Ernst-Erich Doberkat

Keyword(s):

Download Full-text