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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540008972, 9783540365761

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 10

Author(s):

Matthew Hennessy ◽

Massimo Merro ◽

Julian Rathke

Keyword(s):

Distributed Systems ◽

Mobility Control ◽

Behavioural Theory

Download Full-text

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 ◽

Cited By ~ 13

Author(s):

Nathalie Bertrand ◽

Philippe Schnoebelen

Keyword(s):

Model Checking

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 ◽

Cited By ~ 18

Author(s):

Joshua Dunfield ◽

Frank Pfenning

Keyword(s):

Type Assignment

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 ◽

Cited By ~ 10

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 ◽

Cited By ~ 43

Author(s):

Michael Abbott ◽

Thorsten Altenkirch ◽

Neil Ghani

Download Full-text

Multi-level Meta-reasoning with Higher-Order Abstract Syntax

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

10.1007/3-540-36576-1_24 ◽

2003 ◽

pp. 375-391 ◽

Cited By ~ 6

Author(s):

Alberto Momigliano ◽

Simon J. Ambler

Keyword(s):

Higher Order ◽

Abstract Syntax ◽

Multi Level

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 6

Author(s):

Martin Berger ◽

Kohei Honda ◽

Nobuko Yoshida

Keyword(s):

Π Calculus

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 ◽

Cited By ~ 18

Author(s):

Christoph Sprenger ◽

Mads Dam

Keyword(s):

Inductive Reasoning

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

Model Checking Lossy Channels Systems Is Probably Decidable

Abstraction in Reasoning about Higraph-Based Systems

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

Counting and Equality Constraints for Multitree Automata

Categories of Containers

Multi-level Meta-reasoning with Higher-Order Abstract Syntax

Ambiguous Classes in the Games μ-Calculus Hierarchy

Genericity and the π-Calculus

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
Latest Publications