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

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540253884, 9783540319825

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mathematical Models of Computational and Combinatorial Structures

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

10.1007/978-3-540-31982-5_2 ◽

2005 ◽

pp. 25-46 ◽

Author(s):

Marcelo P. Fiore

Keyword(s):

Mathematical Models ◽

Combinatorial Structures

Download Full-text

Fault Diagnosis Using Timed Automata

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

10.1007/978-3-540-31982-5_14 ◽

2005 ◽

pp. 219-233 ◽

Author(s):

Patricia Bouyer ◽

Fabrice Chevalier ◽

Deepak D’Souza

Keyword(s):

Fault Diagnosis ◽

Download Full-text

Axiomatizations for Probabilistic Finite-State Behaviors

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

10.1007/978-3-540-31982-5_7 ◽

2005 ◽

pp. 110-124 ◽

Author(s):

Yuxin Deng ◽

Catuscia Palamidessi

Keyword(s):

Download Full-text

Expressivity of Coalgebraic Modal Logic: The Limits and Beyond

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

10.1007/978-3-540-31982-5_28 ◽

2005 ◽

pp. 440-454 ◽

Author(s):

Lutz Schröder

Keyword(s):

Download Full-text

Alternating Timed Automata

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

10.1007/978-3-540-31982-5_16 ◽

2005 ◽

pp. 250-265 ◽

Author(s):

Sławomir Lasota ◽

Igor Walukiewicz

Keyword(s):

Download Full-text

A Computational Model for Multi-variable Differential Calculus

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

10.1007/978-3-540-31982-5_32 ◽

2005 ◽

pp. 505-519 ◽

Author(s):

A. Edalat ◽

A. Lieutier ◽

D. Pattinson

Keyword(s):

Computational Model ◽

Differential Calculus

Download Full-text

Free-Algebra Models for the π-Calculus

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

10.1007/978-3-540-31982-5_10 ◽

2005 ◽

pp. 155-169 ◽

Author(s):

Ian Stark

Keyword(s):

Free Algebra ◽

Download Full-text

History-Based Access Control with Local Policies

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

10.1007/978-3-540-31982-5_20 ◽

2005 ◽

pp. 316-332 ◽

Author(s):

Massimo Bartoletti ◽

Pierpaolo Degano ◽

Gian Luigi Ferrari

Keyword(s):

Access Control ◽

Download Full-text

Probabilistic Congruence for Semistochastic Generative Processes

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

10.1007/978-3-540-31982-5_4 ◽

2005 ◽

pp. 63-78 ◽

Author(s):

Ruggero Lanotte ◽

Simone Tini

Keyword(s):

Generative Processes

Download Full-text

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications

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

10.1007/978-3-540-31982-5_6 ◽

2005 ◽

pp. 95-109 ◽

Author(s):

Samy Abbes ◽

Albert Benveniste

Keyword(s):

Event Structures

Download Full-text