Sciweavers

4 search results - page 1 / 1
» icalp 1989
Sort
View
ICALP
1989
Springer
13 years 9 months ago
Subduing Self-Application
Corrado Böhm
ICALP
1989
Springer
13 years 9 months ago
Shortest Paths Without a Map
Christos H. Papadimitriou, Mihalis Yannakakis
ICALP
1989
Springer
13 years 9 months ago
Causal Trees
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
Philippe Darondeau, Pierpaolo Degano