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

Combining Petri nets and PA-processes

1997 ◽  
pp. 547-561 ◽  
Author(s):  
Richard Mayr
Keyword(s):  
Petri Nets

On strictness and totality

1997 ◽  
pp. 138-164 ◽  
Author(s):  
Mario Coppo ◽  
Ferruccio Damiani ◽  
Paola Giannini

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

1997 ◽  
pp. 295-320 ◽  
Author(s):  
Samson Abramsky ◽  
Simon Gay ◽  
Rajagopal Nagarajan
Keyword(s):  
Asynchronous Systems ◽  
Theoretic Approach ◽  
Deadlock Freedom

Secrecy by typing in security protocols

1997 ◽  
pp. 611-638 ◽  
Author(s):  
Martín Abadi
Keyword(s):  
Security Protocols

Data refinement of remote procedures

1997 ◽  
pp. 267-294 ◽  
Author(s):  
K. Sere ◽  
M. Waldén
Keyword(s):  
Data Refinement

Sound specialization in the presence of computational effects

1997 ◽  
pp. 165-190 ◽  
Author(s):  
Julia L. Lawall ◽  
Peter Thiemann

Types and models for higher-order action calculi

1997 ◽  
pp. 583-603 ◽  
Author(s):  
Philippa Gardner ◽  
Masahito Hasegawa
Keyword(s):  
Higher Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document