Lecture Notes in Computer Science - Theoretical Aspects of Computer Software
Latest Publications

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540578871, 9783540483830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Full Abstraction for PCF (extended abstract)

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_87 ◽

1994 ◽

pp. 1-15 ◽

Author(s):

Samson Abramsky ◽

Pasquale Malacaria ◽

Radha Jagadeesan

Keyword(s):

Full Abstraction

Download Full-text

A decidable intersection type system based on relevance

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_122 ◽

1994 ◽

pp. 707-725 ◽

Author(s):

Ferruccio Damiani ◽

Paola Giannini

Keyword(s):

Download Full-text

Locality and true-concurrency in calculi for mobile processes

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_107 ◽

1994 ◽

pp. 405-424 ◽

Author(s):

Davide Sangiorgi

Keyword(s):

True Concurrency ◽

Mobile Processes

Download Full-text

A type system for a lambda calculus with assignments

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_103 ◽

1994 ◽

pp. 347-364 ◽

Author(s):

Kung Chen ◽

Martin Odersky

Keyword(s):

Type System ◽

Lambda Calculus

Download Full-text

Extensions to type systems can preserve operational equivalences

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_91 ◽

1994 ◽

pp. 76-95 ◽

Author(s):

Jon G. Riecke ◽

Ramesh Subrahmanyam

Keyword(s):

Download Full-text

Temporal verification diagrams

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_123 ◽

1994 ◽

pp. 726-765 ◽

Author(s):

Zohar Manna ◽

Amir Pnueli

Download Full-text

The λ Δ-calculus

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_113 ◽

1994 ◽

pp. 516-542 ◽

Author(s):

Niels Jakob Rehof ◽

Morten Heine Sørensen

Download Full-text

Petri nets, Horn programs, Linear Logic, and vector games

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_119 ◽

1994 ◽

pp. 642-666 ◽

Author(s):

Max I. Kanovich

Keyword(s):

Download Full-text

A theory of primitive objects

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_101 ◽

1994 ◽

pp. 296-320 ◽

Author(s):

Martín Abadi ◽

Luca Cardelli

Download Full-text

Syntactic definitions of undefined: On defining the undefined

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_114 ◽

1994 ◽

pp. 543-554 ◽

Author(s):

Zena Ariola ◽

Richard Kennaway ◽

Jan Willem Klop ◽

Ronan Sleep ◽

Fer-Jan Vries

Download Full-text