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

9783540633884, 9783540695301

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combining Petri nets and PA-processes

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

10.1007/bfb0014567 ◽

1997 ◽

pp. 547-561 ◽

Cited By ~ 8

Author(s):

Richard Mayr

Keyword(s):

Petri Nets

Download Full-text

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 ◽

Cited By ~ 44

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 ◽

Cited By ~ 2

Author(s):

Mario Coppo ◽

Ferruccio Damiani ◽

Paola Giannini

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 ◽

Cited By ~ 4

Author(s):

Samson Abramsky ◽

Simon Gay ◽

Rajagopal Nagarajan

Keyword(s):

Asynchronous Systems ◽

Theoretic Approach ◽

Deadlock Freedom

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 ◽

Cited By ~ 46

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 2

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 ◽

Time Systems

Download Full-text

Sound specialization in the presence of computational effects

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

10.1007/bfb0014551 ◽

1997 ◽

pp. 165-190 ◽

Cited By ~ 10

Author(s):

Julia L. Lawall ◽

Peter Thiemann

Download Full-text

Types and models for higher-order action calculi

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

10.1007/bfb0014569 ◽

1997 ◽

pp. 583-603 ◽

Cited By ~ 3

Author(s):

Philippa Gardner ◽

Masahito Hasegawa

Keyword(s):

Higher Order

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Combining Petri nets and PA-processes

Extending a logical framework with a modal connective for validity

Using reflection to build efficient and certified decision procedures

On strictness and totality

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

Secrecy by typing in security protocols

Data refinement of remote procedures

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

Sound specialization in the presence of computational effects

Types and models for higher-order action calculi

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