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

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540633884, 9783540695301

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending a logical framework with a modal connective for validity

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

10.1007/bfb0014564 ◽

1997 ◽

pp. 491-514

Author(s):

Seán Matthews

Keyword(s):

Logical Framework

Download Full-text

Using reflection to build efficient and certified decision procedures

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

10.1007/bfb0014565 ◽

1997 ◽

pp. 515-529 ◽

Author(s):

Samuel Boutin

Keyword(s):

Decision Procedures

Download Full-text

On strictness and totality

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

10.1007/bfb0014550 ◽

1997 ◽

pp. 138-164 ◽

Author(s):

Mario Coppo ◽

Ferruccio Damiani ◽

Paola Giannini

Download Full-text

Combining Petri nets and PA-processes

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

10.1007/bfb0014567 ◽

1997 ◽

pp. 547-561 ◽

Author(s):

Richard Mayr

Keyword(s):

Download Full-text

Secrecy by typing in security protocols

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

10.1007/bfb0014571 ◽

1997 ◽

pp. 611-638 ◽

Author(s):

Martín Abadi

Keyword(s):

Security Protocols

Download Full-text

Data refinement of remote procedures

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

10.1007/bfb0014556 ◽

1997 ◽

pp. 267-294 ◽

Author(s):

K. Sere ◽

M. Waldén

Keyword(s):

Data Refinement

Download Full-text

Symbolic model-checking method based on approximations and binary decision diagrams for real-time systems

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

10.1007/bfb0014568 ◽

1997 ◽

pp. 562-582 ◽

Author(s):

Satoshi Yamane ◽

Kazuhiro Nakamura

Keyword(s):

Model Checking ◽

Real Time ◽

Binary Decision Diagrams ◽

Symbolic Model Checking ◽

Decision Diagrams ◽

Real Time Systems ◽

Symbolic Model ◽

Binary Decision ◽

Download Full-text

A type-theoretic approach to deadlock-freedom of asynchronous systems

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

10.1007/bfb0014557 ◽

1997 ◽

pp. 295-320 ◽

Author(s):

Samson Abramsky ◽

Simon Gay ◽

Rajagopal Nagarajan

Keyword(s):

Asynchronous Systems ◽

Theoretic Approach ◽

Deadlock Freedom

Download Full-text

Relational interpretations of recursive types in an operational setting (Summary)

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

10.1007/bfb0014563 ◽

1997 ◽

pp. 458-490 ◽

Author(s):

Lars Birkedal ◽

Robert Harper

Download Full-text

Cyclic lambda calculi

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

10.1007/bfb0014548 ◽

1997 ◽

pp. 77-106 ◽

Author(s):

Zena M. Ariola ◽

Stefan Blom

Download Full-text