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

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540713883, 9783540713890

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enriched μ-Calculi Module Checking

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

10.1007/978-3-540-71389-0_14 ◽

2007 ◽

pp. 183-197 ◽

Author(s):

Alessandro Ferrante ◽

Aniello Murano

Download Full-text

Logical Reasoning for Higher-Order Functions with Local State

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

10.1007/978-3-540-71389-0_26 ◽

2007 ◽

pp. 361-377 ◽

Author(s):

Nobuko Yoshida ◽

Kohei Honda ◽

Martin Berger

Keyword(s):

Higher Order ◽

Logical Reasoning ◽

Local State ◽

Higher Order Functions

Download Full-text

On the Stability by Union of Reducibility Candidates

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

10.1007/978-3-540-71389-0_23 ◽

2007 ◽

pp. 317-331 ◽

Author(s):

Colin Riba

Keyword(s):

Download Full-text

Semantic Barbs and Biorthogonality

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

10.1007/978-3-540-71389-0_22 ◽

2007 ◽

pp. 302-316 ◽

Author(s):

Julian Rathke ◽

Vladimiro Sassone ◽

Paweł Sobociński

Download Full-text

Sampled Universality of Timed Automata

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

10.1007/978-3-540-71389-0_2 ◽

2007 ◽

pp. 2-16 ◽

Author(s):

Parosh Aziz Abdulla ◽

Pavel Krcal ◽

Wang Yi

Keyword(s):

Download Full-text

Formal Foundations for Aspects

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

10.1007/978-3-540-71389-0_1 ◽

2007 ◽

pp. 1-1

Author(s):

Radha Jagadeesan

Download Full-text

Types and Effects for Resource Usage Analysis

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

10.1007/978-3-540-71389-0_4 ◽

2007 ◽

pp. 32-47 ◽

Author(s):

Massimo Bartoletti ◽

Pierpaolo Degano ◽

Gian Luigi Ferrari ◽

Roberto Zunino

Keyword(s):

Resource Usage ◽

Download Full-text

Model-Checking One-Clock Priced Timed Automata

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

10.1007/978-3-540-71389-0_9 ◽

2007 ◽

pp. 108-122 ◽

Author(s):

Patricia Bouyer ◽

Kim G. Larsen ◽

Nicolas Markey

Keyword(s):

Model Checking ◽

Download Full-text

The Rewriting Calculus as a Combinatory Reduction System

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

10.1007/978-3-540-71389-0_7 ◽

2007 ◽

pp. 78-92 ◽

Author(s):

Clara Bertolissi ◽

Claude Kirchner

Keyword(s):

Reduction System

Download Full-text

A Distribution Law for CCS and a New Congruence Result for the π-Calculus

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

10.1007/978-3-540-71389-0_17 ◽

2007 ◽

pp. 228-242 ◽

Author(s):

Daniel Hirschkoff ◽

Damien Pous

Keyword(s):

Distribution Law ◽

Download Full-text