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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540578871, 9783540483830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 5

Author(s):

Max I. Kanovich

Keyword(s):

Petri Nets ◽

Linear Logic

Download Full-text

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 ◽

Cited By ~ 36

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 ◽

Cited By ~ 8

Author(s):

Ferruccio Damiani ◽

Paola Giannini

Keyword(s):

Type System

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 2

Author(s):

Jon G. Riecke ◽

Ramesh Subrahmanyam

Keyword(s):

Type Systems

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 ◽

Cited By ~ 38

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 ◽

Cited By ~ 16

Author(s):

Niels Jakob Rehof ◽

Morten Heine Sørensen

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 ◽

Cited By ~ 30

Author(s):

Martín Abadi ◽

Luca Cardelli

Download Full-text

A semantic theory for Concurrent ML

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

10.1007/3-540-57887-0_124 ◽

1994 ◽

pp. 766-785 ◽

Cited By ~ 2

Author(s):

Dominique Bolignano ◽

Mourad Debabi

Keyword(s):

Semantic Theory

Download Full-text

Lecture Notes in Computer Science - Theoretical Aspects of Computer SoftwareLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

Full Abstraction for PCF (extended abstract)

A decidable intersection type system based on relevance

Locality and true-concurrency in calculi for mobile processes

A type system for a lambda calculus with assignments

Extensions to type systems can preserve operational equivalences

Temporal verification diagrams

The λ Δ-calculus

A theory of primitive objects

A semantic theory for Concurrent ML

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