Semantics: Foundations and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540565963, 9783540475958
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some issues in the semantics of facile distributed programming

1993 ◽  
pp. 563-593 ◽  
Author(s):  
Bent Thomsen ◽  
Lone Leth ◽  
Alessandro Giacalone
Keyword(s):  
Distributed Programming

A hyperdoctrinal view of concurrent constraint programming

1993 ◽  
pp. 457-476 ◽  
Author(s):  
Prakash Panangaden ◽  
Vijay Saraswat ◽  
P. J. Scott ◽  
R. A. G. Seely
Keyword(s):  
Constraint Programming ◽  
Concurrent Constraint Programming

Compact metric information systems

1993 ◽  
pp. 154-173 ◽  
Author(s):  
Abbas Edalat ◽  
Michael B. Smyth
Keyword(s):  
Information Systems ◽  
Metric Information

SPCF: its model, calculus, and computational power

1993 ◽  
pp. 318-347 ◽  
Author(s):  
Ramarao Kanneganti ◽  
Robert Cartwright ◽  
Matthias Felleisen
Keyword(s):  
Computational Power

Layered predicates

1993 ◽  
pp. 425-456 ◽  
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nidson

Full abstraction and unnested recursion

1993 ◽  
pp. 384-397 ◽  
Author(s):  
Michael W. Mislove ◽  
Frank J. Oles
Keyword(s):  
Full Abstraction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document