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

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540008972, 9783540365761

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking Lossy Channels Systems Is Probably Decidable

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

10.1007/3-540-36576-1_8 ◽

2003 ◽

pp. 120-135 ◽

Author(s):

Nathalie Bertrand ◽

Philippe Schnoebelen

Keyword(s):

Download Full-text

Abstraction in Reasoning about Higraph-Based Systems

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

10.1007/3-540-36576-1_25 ◽

2003 ◽

pp. 392-408

Author(s):

John Power ◽

Konstantinos Tourlas

Download Full-text

Type Assignment for Intersections and Unions in Call-by-Value Languages

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

10.1007/3-540-36576-1_16 ◽

2003 ◽

pp. 250-266 ◽

Author(s):

Joshua Dunfield ◽

Frank Pfenning

Keyword(s):

Type Assignment

Download Full-text

Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems

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

10.1007/3-540-36576-1_18 ◽

2003 ◽

pp. 282-298 ◽

Author(s):

Matthew Hennessy ◽

Massimo Merro ◽

Julian Rathke

Keyword(s):

Distributed Systems ◽

Mobility Control ◽

Behavioural Theory

Download Full-text

Counting and Equality Constraints for Multitree Automata

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

10.1007/3-540-36576-1_21 ◽

2003 ◽

pp. 328-342 ◽

Author(s):

Denis Lugiez

Keyword(s):

Equality Constraints

Download Full-text

Categories of Containers

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

10.1007/3-540-36576-1_2 ◽

2003 ◽

pp. 23-38 ◽

Author(s):

Michael Abbott ◽

Thorsten Altenkirch ◽

Neil Ghani

Download Full-text

Ambiguous Classes in the Games μ-Calculus Hierarchy

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

10.1007/3-540-36576-1_5 ◽

2003 ◽

pp. 70-86 ◽

Author(s):

André Arnold ◽

Luigi Santocanale

Download Full-text

Genericity and the π-Calculus

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

10.1007/3-540-36576-1_7 ◽

2003 ◽

pp. 103-119 ◽

Author(s):

Martin Berger ◽

Kohei Honda ◽

Nobuko Yoshida

Keyword(s):

Download Full-text

On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μCalculus

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

10.1007/3-540-36576-1_27 ◽

2003 ◽

pp. 425-440 ◽

Author(s):

Christoph Sprenger ◽

Mads Dam

Keyword(s):

Inductive Reasoning

Download Full-text

When Ambients Cannot Be Opened

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

10.1007/3-540-36576-1_11 ◽

2003 ◽

pp. 169-184 ◽

Author(s):

Iovka Boneva ◽

Jean-Marc Talbot

Download Full-text